BibTeX record conf/pldi/Chlipala11

download as .bib file

@inproceedings{DBLP:conf/pldi/Chlipala11,
  author    = {Adam Chlipala},
  title     = {Mostly-automated verification of low-level programs in computational
               separation logic},
  booktitle = {{PLDI}},
  pages     = {234--245},
  publisher = {{ACM}},
  year      = {2011}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics