VDM Proof Obligations and their Justification.

Cliff B. Jones

Browse the full FM paper archive.