Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

1 Publication


2008 | Published | Conference Paper | IST-REx-ID: 4366
A. Podelski, A. Rybalchenko, and T. Wies, “Heap Assumptions on Demand,” in Proceedings of the 30th international conference of computer aided verifacation, Princeton, NJ, United Stated, 2008, vol. 5123, pp. 314–327.
View | DOI
 

Filters and Search Terms

isbn=9783540705437

Search

Filter Publications

    • Display / Sort

    Citation Style: IEEE

    Export / Embed