Title: Software prototyping, formal methods, and VDM
Subjects: Computer software, Development, Formal methods (Computer science)