Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. An Assume Guarantee Approach for Checking Quantified Array Assertions

An Assume Guarantee Approach for Checking Quantified Array Assertions

Mohamed Nassim Seghir

Book Title
AMAST
Pages
226−235
Year
2010

Links

See Also

Back to Top