Heap Assumptions on Demand

In  Computer Aided Verification (CAV 2008)

Publisher  Springer

Details

TypeInproceedings
Pages314-327
Volume5123
SeriesLNCS
> Publications > Heap Assumptions on Demand