A Proof Obligation Generator for VDM-SL.

Bernhard K. Aichernig, Peter Gorm Larsen

Browse the full FM paper archive.