BibTeX record conf/cpp/BoldoCFMM17

• > Home > conf/cpp/BoldoCFMM17

@inproceedings{DBLP:conf/cpp/BoldoCFMM17,
  author       = {Sylvie Boldo and
                  Fran{\c{c}}ois Cl{\'{e}}ment and
                  Florian Faissole and
                  Vincent Martin and
                  Micaela Mayero},
  editor       = {Yves Bertot and
                  Viktor Vafeiadis},
  title        = {A Coq formal proof of the LaxMilgram theorem},
  booktitle    = {Proceedings of the 6th {ACM} {SIGPLAN} Conference on Certified Programs
                  and Proofs, {CPP} 2017, Paris, France, January 16-17, 2017},
  pages        = {79--89},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3018610.3018625},
  doi          = {10.1145/3018610.3018625},
  timestamp    = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl       = {https://dblp.org/rec/conf/cpp/BoldoCFMM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}