Title: Practical formal methods with VDM
First published: 1991
Subjects: Development, Formal methods (Computer science), Computer software
LC classification: QA76.76.D47 A52 1991