@PHDTHESIS{paşca2010,
url = "
		http://www.theses.fr/2010NICE4104",
title = "Vérification formelle pour les méthodes numériques",
author = "Paşca, Ioana",
year = "2010",
pages = "1 vol. (vii-129 p.)",
note = "Thèse de doctorat dirigée par Bertot, Yves Informatique Nice 2010",
note = "2010NICE4104",
}