Skip to main content

Final Report on SRC Project into Program Proving

C. A. R. Hoare

Note
Typed manuscript‚ undated