From Practical CASE to Formal Verification: Software Engineering using Java.

Peter G. Clayton Gardiner S. Stiles From Practical CASE to Formal Verification: Software Engineering using Java. 81-87 1999 conf/pdpta/1999 PDPTA db/conf/pdpta/pdpta1999-1.html#ClaytonS99