bib-compcert.bib

@inproceedings{bac-cpp12,
  title = {An Executable Semantics for {CompCert} {C}},
  author = {Brian Campbell},
  booktitle = {The Second International Conference on Certified Programs and Proofs (CPP 2012)},
  pages = {60--75},
  year = 2012,
  editor = {Chris Hawblitzel and Dale Miller},
  volume = 7679,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  doi = {10.1007/978-3-642-35308-6_8},
  slides = {compcert/cpp2012.pdf},
  preprint = {compcert/cpp-preprint.pdf},
  preprintnote = {The original publication is available at www.springerlink.com}
}