Havelund, K. and T. Pressburger. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer, 1999.
(1999)
Languages mentioned
JPF
{1998}