Skip to main content

Assertions: A Personal Perspective

C. A. R. Hoare

Journal
IEEE Annals of the History of Computing
Number
2
Pages
14−25
Volume
25
Year
2003