Login / Signup

Shape Refinement through Explicit Heap Analysis.

Dirk BeyerThomas A. HenzingerGrégory ThéodulozDamien Zufferey
Published in: FASE (2010)
Keyphrases