Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Natural Transformations and Data Refinement

Natural Transformations and Data Refinement

C. A. R. Hoare and Jifeng He

Month
July 29
Note
LaTeXed draft
Year
1988

Links

See Also

Back to Top