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

An Axiomatic Definition of the Programming Language PASCAL

C. A. R. Hoare

Month
feb
Note
Typed manuscript‚ “very different from the published version” ECS[37]
Year
1972

Links

See Also

Back to Top