Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Abstraction Refinement for Quantified Array Assertions

Abstraction Refinement for Quantified Array Assertions

Mohamed Nassim Seghir‚ Andreas Podelski and Thomas Wies

Book Title
SAS
Pages
3−18
Year
2009

Links

See Also

Back to Top