Skip to main content

Assertions: A Personal Perspective

C. A. R. Hoare

Journal
Computer Software
Note
Reprint of Kyoto Prize lecture
Number
4
Pages
2−17
Volume
18
Year
2001