Reasoning about VDM Developments using the VDM Support Tool in MURAL.

Juan Bicarregui, Brian Ritchie

Browse the full FM paper archive.