Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Programs are Predicates

Programs are Predicates

C. A. R. Hoare

Book Title
FGCS
Pages
211−218
Year
1992

Links

See Also

Back to Top