Triumphs and Challenges for Model-Oriented Formal Methods: The VDM

John S. Fitzgerald, Peter Gorm Larsen

Browse the full ISoLA paper archive.