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
Fifth Generation Computer Systems
Month
jun
Note
Slides
Pages
211−218
Year
1992

Links

See Also

Back to Top