Title: Formal methods fact file
First published: 1996
Subjects: Development, Formal methods (Computer science), Computer software, Computer software, development, Research, methodology
LC classification: QA76.76.D47 H39 1996