Title: Formal methods and software development
First published: 1985
Subjects: Development, Congresses, Computer software
LC classification: QA76.76.D47 I57 1985 v.2, QA76.76.D47 I57 1985 vol. 2