Title: Program design which is provably correct
First published: 1982
Subjects: Debugging in computer science, Computer programming, Programming languages (Electronic computers)
LC classification: QA76.6 .M3614 1982