Skip to content

Practical formal methods with VDM

by Derek Andrews · 1991

Cover of Practical formal methods with VDM

No description available.

DevelopmentFormal methods (Computer science)Computer software