Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Formal Methods in Software Engineering

Formal Methods in Software Engineering

C. A. R. Hoare

Month
oct
Note
Handwritten manuscript‚ with comments from Jay Misra
Year
1986

Links

See Also

Back to Top