Skip to main content
University of Oxford Department of Computer Science
University of Oxford Department of Computer Science
Contact Us Search
  1. Home
  2. Research
  3. Automated Verification
  4. Projects
  5. Generalisation Operators for Abstraction-Refinement

Generalisation Operators for Abstraction-Refinement

1st April 2009 to 31st March 2012

Principal Investigator

Daniel Kroening
Back to Top

AltStyle によって変換されたページ (->オリジナル) /