Skip to main content

Is There a Mathematical Basis for Computer Programming?

C.A.R. Hoare

Journal
NAG Newsletter
Pages
6–15
Volume
2
Year
1981