Mops: Verifying Modula-2 programs specified in VDM-SL (2000)

by T Kaiser, B Fischer, W Struckmann
Venue:In Proc. 4th Workshop Tools for System Design and Verification