BibTeX record conf/popl/EllisonR12

download as .bib file

@inproceedings{DBLP:conf/popl/EllisonR12,
  author    = {Chucky Ellison and
               Grigore Rosu},
  title     = {An executable formal semantics of {C} with applications},
  booktitle = {{POPL}},
  pages     = {533--544},
  publisher = {{ACM}},
  year      = {2012}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics