Skip to main content

The Ideal of Program Correctness: Third Computer Journal Lecture

Tony Hoare

Journal
Comput. J.
Number
3
Pages
254−260
Volume
50
Year
2007