Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. ACSAR: Software Model Checking with Transfinite Refinement

ACSAR: Software Model Checking with Transfinite Refinement

Mohamed Nassim Seghir and Andreas Podelski

Book Title
SPIN
Pages
274−278
Year
2007

Links

See Also

Back to Top