@article{ dblp1620560,
  title = {Formally Verified Certificate Checkers for Hardest-to-Round Computation},
  author = {Érik Martin-Dorel and Guillaume Hanrot and Micaela Mayero and Laurent Théry},
  author_short = {Martin-Dorel, É. and Hanrot, G. and Mayero, M. and Théry, L.},
  bibtype = {article},
  type = {article},
  year = {2015},
  key = {dblp1620560},
  id = {dblp1620560},
  biburl = {http://www.dblp.org/rec/bibtex/journals/jar/Martin-DorelHMT15},
  url = {http://dx.doi.org/10.1007/s10817-014-9312-2},
  journal = {J. Autom. Reasoning (JAR)},
  pages = {1-29},
  number = {1},
  volume = {54},
  text = {J. Autom. Reasoning (JAR) 54(1):1-29 (2015)}
}

{"_id":"bmA8ypuQTEqWqtmw8","bibbaseid":"martindorel-hanrot-mayero-thry-formallyverifiedcertificatecheckersforhardesttoroundcomputation-2015","downloads":0,"creationDate":"2015-03-16T12:06:52.778Z","title":"Formally Verified Certificate Checkers for Hardest-to-Round Computation","author_short":["Martin-Dorel, É.","Hanrot, G.","Mayero, M.","Théry, L."],"year":2015,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jar/Martin-DorelHMT15","bibdata":{"title":"Formally Verified Certificate Checkers for Hardest-to-Round Computation","author":["Érik Martin-Dorel","Guillaume Hanrot","Micaela Mayero","Laurent Théry"],"author_short":["Martin-Dorel, É.","Hanrot, G.","Mayero, M.","Théry, L."],"bibtype":"article","type":"article","year":"2015","key":"dblp1620560","id":"dblp1620560","biburl":"http://www.dblp.org/rec/bibtex/journals/jar/Martin-DorelHMT15","url":"http://dx.doi.org/10.1007/s10817-014-9312-2","journal":"J. Autom. Reasoning (JAR)","pages":"1-29","number":"1","volume":"54","text":"J. Autom. Reasoning (JAR) 54(1):1-29 (2015)","bibtex":"@article{ dblp1620560,\n title = {Formally Verified Certificate Checkers for Hardest-to-Round Computation},\n author = {Érik Martin-Dorel and Guillaume Hanrot and Micaela Mayero and Laurent Théry},\n author_short = {Martin-Dorel, É. and Hanrot, G. and Mayero, M. and Théry, L.},\n bibtype = {article},\n type = {article},\n year = {2015},\n key = {dblp1620560},\n id = {dblp1620560},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jar/Martin-DorelHMT15},\n url = {http://dx.doi.org/10.1007/s10817-014-9312-2},\n journal = {J. Autom. Reasoning (JAR)},\n pages = {1-29},\n number = {1},\n volume = {54},\n text = {J. Autom. Reasoning (JAR) 54(1):1-29 (2015)}\n}","bibbaseid":"martindorel-hanrot-mayero-thry-formallyverifiedcertificatecheckersforhardesttoroundcomputation-2015","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s10817-014-9312-2"},"downloads":0},"search_terms":["formally","verified","certificate","checkers","hardest","round","computation","martin-dorel","hanrot","mayero","théry"],"keywords":[],"authorIDs":["5506c75c804ed6007e00015e"],"dataSources":["skH6h3hwZeg4ka23a"]}