Title: Formal specification and software development
First published: 1982
Subjects: Electronic digital computers, Software compatibility, Programming, Development, Computer software, Programming languages (Electronic computers), Computer software, development, Programming languages (electronic computers), Computer programming
LC classification: QA76.6