Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. THE WEAKEST PRESPECIFICATION

THE WEAKEST PRESPECIFICATION

C.A.R.Hoare and Jifeng He

Institution
OUCL
Month
June
Number
PRG44
Year
1985

Links

Back to Top