Heap Assumptions on Demand

Andreas Podelsk, Andrey Rybalchenko, and Thomas Wies

Details

Publication typeInproceedings
Published inComputer Aided Verification (CAV 2008)
Pages314-327
Volume5123
SeriesLNCS
PublisherSpringer
> Publications > Heap Assumptions on Demand