Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Models and Algebra

Models and Algebra

C. A. R. Hoare

Month
jul
Note
LaTeXed manuscript
Year
1993

Links

See Also

Back to Top