Title: Formal specification and design
First published: 1992
Subjects: Development, Computer software, Object-oriented programming (Computer science), Computer software, development
LC classification: QA76.76.D47 F44 1992