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

Peter G. Clayton, Gardiner S. Stiles

Browse the full PDPTA paper archive.