Heap Assumptions on Demand
Andreas Podelsk, Andrey Rybalchenko, and Thomas Wies
2008
In Computer Aided Verification (CAV 2008)
Publisher Springer
Details
| Type | Inproceedings |
| Pages | 314-327 |
| Volume | 5123 |
| Series | LNCS |
Share
Andreas Podelsk, Andrey Rybalchenko, and Thomas Wies
2008
In Computer Aided Verification (CAV 2008)
Publisher Springer
| Type | Inproceedings |
| Pages | 314-327 |
| Volume | 5123 |
| Series | LNCS |
