Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Programs as executable predicates

Programs as executable predicates

A. W. Roscoe and C.A.R. Hoare

Book Title
Proceedings of FGCS84 (ICOT‚ editors)
Pages
220–228
Year
1984

Links

See Also

Back to Top