The Visual Presentation of VDM Specifications.

Jeremy Dick, Jrme Loubersac

Browse the full FM paper archive.