Publications de
Erik Martin-Dorel, Guillaume Hanrot, Micaela Mayero, Laurent Théry
Formally verified certificate checkers for hardest-to-round computation
Dans : Journal of Automated Reasoning, Springer-Verlag, Heidelberg, Allemagne, Vol. 54 N. 1, p. 1-29, janvier 2015.