Software Support for the Refinement of VDM Specifications.

Peter Kilpatrick, P. McParland

Browse the full FM paper archive.