Home›Books›Practical formal methods with VDMPractical formal methods with VDMby Derek Andrews · 1991No description available.DevelopmentFormal methods (Computer science)Computer software