Title: An introduction to formal program verification
First published: 1985
Subjects: Verification, Computer programs, Computer programming
LC classification: QA76.6 .M5217 1985