"ILC: A Foundation for Automated Reasoning About Pointer Programs."

Limin Jia, David Walker (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics