BibTeX record conf/popl/BrotherstonGKR16

download as .bib file

@inproceedings{DBLP:conf/popl/BrotherstonGKR16,
  author    = {James Brotherston and
               Nikos Gorogiannis and
               Max I. Kanovich and
               Reuben Rowe},
  title     = {Model checking for symbolic-heap separation logic with inductive predicates},
  booktitle = {{POPL}},
  pages     = {84--96},
  publisher = {{ACM}},
  year      = {2016}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics