"Satisfiability Modulo Heap-Based Programs."

Quang Loc Le, Jun Sun, Wei-Ngan Chin (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics