Bibtex de la publication

@Article{ MaHaMaTh2015.1,
author = {Martin-Dorel, Erik and Hanrot, Guillaume and Mayero, Micaela and Théry, Laurent},
title = "{Formally verified certificate checkers for hardest-to-round computation}",
journal = {Journal of Automated Reasoning},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
year = {2015},
month = {janvier},
volume = {54},
number = {1},
pages = {1--29},
language = {anglais},
URL = {http://dx.doi.org/10.1007/s10817-014-9312-2}
}