TY  - THES
DP  - http://www.theses.fr/2012ENSL0742
TI  - Contributions à la vérification formelle d'algorithmes arithmétiques
AU  - Martin-Dorel, Erik
A3  - Muller, Jean-Michel
PY  - 2012
N1  - Thèse de doctorat Informatique Lyon, École normale supérieure 2012
N1  - 2012ENSL0742
UR  - http://www.theses.fr/2012ENSL0742/document
ER  -