@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)} }