Search dblp for Publications

export results for "Separation logic0X0.055D36B61DD1EP-1022 a logic for shared mutable data structures"

 download as .bib file

a service of  Schloss Dagstuhl - Leibniz Center for Informatics