Skip to main content

Viewpoint − Retrospective: an axiomatic basis for computer programming

C. A. R. Hoare

Journal
Commun. ACM
Number
10
Pages
30−32
Volume
52
Year
2009