"Automated Theorem Proving for Assertions in Separation Logic with All ..."

Zhe Hou, Rajeev Goré, Alwen Tiu (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics