"Foundations for Decision Problems in Separation Logic with General ..."

Timos Antonopoulos et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics