AHA 2007
International symposium on
Automatic Heap Analysis
 July 2nd 2007  Berlin, Germany