Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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