"Thread-Modular Shape Analysis."

Mooly Sagiv (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics