Abstraction Refinement for Quantified Array Assertions
Mohamed Nassim Seghir‚ Andreas Podelski and Thomas Wies
Details
| Book Title |
SAS |
| Pages |
3−18 |
| Year |
2009 |
Links
Related pages
|
People |