"Checking Properties of Heap-Manipulating Procedures with a Constraint Solver."

Mandana Vaziri, Daniel Jackson (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics