BibTeX record conf/cpp/GrimmMFHMPRRSB18

download as .bib file

  author    = {Niklas Grimm and
               Kenji Maillard and
               C{\'{e}}dric Fournet and
               Catalin Hritcu and
               Matteo Maffei and
               Jonathan Protzenko and
               Tahina Ramananandro and
               Aseem Rastogi and
               Nikhil Swamy and
               Santiago Zanella B{\'{e}}guelin},
  editor    = {June Andronick and
               Amy P. Felty},
  title     = {A monadic framework for relational verification: applied to information
               security, program equivalence, and optimizations},
  booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} International Conference on
               Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January
               8-9, 2018},
  pages     = {130--145},
  publisher = {{ACM}},
  year      = {2018},
  url       = {},
  doi       = {10.1145/3167090},
  timestamp = {Sun, 25 Oct 2020 22:54:47 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics