Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. The Axiomatic Method

The Axiomatic Method

C. A. R. Hoare

Institution
National Computing Centre
Note
Very different from the published version ECS[15] after seeing Floyd's article
Year
1968

Links

See Also

Back to Top