Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Finitary refinement checks for infinitary specifications

Finitary refinement checks for infinitary specifications

A. W. Roscoe

Book Title
Proceedings of CPA 2004
Month
June
Year
2004

Links

See Also

Back to Top