Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. An Axiomatic Basis for Computer Programming

An Axiomatic Basis for Computer Programming

C.A.R. Hoare

Journal
Communications of the ACM
Month
October
Number
10
Pages
576–580‚ 583
Volume
12
Year
1969

Links

See Also

Back to Top