Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project.

Jim Woodcock, B. Dickinson

Browse the full FM paper archive.