Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Refinement of Complex Systems: A Case Study

Refinement of Complex Systems: A Case Study

Gavin Lowe and Hussein Zedan

Journal
The Computer Journal
Number
10
Pages
785−800
Volume
38
Year
1995

Links

See Also

Back to Top