Hoare, C. A. R. An axiomatic basis for computer programming. (English) Zbl 0179.23105 Commun. ACM 12, 576-580 (1969). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 ReviewsCited in 504 Documents Keywords:numerical analysis PDF BibTeX XML Cite \textit{C. A. R. Hoare}, Commun. ACM 12, 576--580 (1969; Zbl 0179.23105) Full Text: DOI OpenURL