Contributions à la certification des calculs dans R : théorie, preuves, programmation
/ présentée et soutenue par Assia Mahboubi ; sous la direction de Loïc Pottier. -
2006 [Thèse, Nice]
Internet, http://www-sop.inria.fr/lemme/Loic.Pottier/home.html, 2006-12-12