Title: Software engineering
Subtitle: analysis and verification
First published: 1982
Subjects: Verification, Software engineering, Computer software
LC classification: QA76.6 .L477 1982