FESA: Fold- and Expand-Based Shape Analysis.

Holger Siegel, Axel Simon

Browse the full CC paper archive.