Abstraction Refinement for Quantified Array Assertions
Mohamed Nassim Seghir, Andreas Podelski, and Thomas Wies
2009
In Static Analysis Symposium (SAS 2009)
Publisher Springer
Details
| Type | Inproceedings |
| Pages | 3-18 |
| Volume | 5673 |
| Series | LNCS |
Related Labs
Share
