Shape Refinement through Explicit Heap Analysis.

Dirk Beyer, Thomas A. Henzinger, Grgory Thoduloz, Damien Zufferey

Browse the full FASE paper archive.