Bibtex de la publication

@PhDThesis{ Ma2012.35,
author = {Martin-Dorel, Erik},
title = "{Contributions to the Formal Verification of Arithmetic Algorithms}",
year = {2012},
month = {septembre},
type = {Thèse de doctorat},
school = {Ecole Normale Supérieure de Lyon},
address = {Lyon},
language = {anglais},
URL = {http://tel.archives-ouvertes.fr/tel-00745553/}
}