Title: Program verification
First published: 1992
Subjects: Verification, Computer software, Computer programs
LC classification: QA76.76.V47 F73 1992