Skip to main content

Program Correctness Proofs

C.A.R. Hoare

Book Title
Formal Aspects of Computing Science‚ Newcastle upon Tyne‚ 3–6 September‚ 1974
Editor
B. Shaw
Pages
7–45
Publisher
Newcastle University
Year
1975