@PHDTHESIS{tolli2013,
url = "http://www.theses.fr/2013CNAM0895",
title = "Extraction de code fonctionnel certifié à partir de spécifications inductives",
author = "Tollitte, Pierre-Nicolas",
year = "2013",
note = "Thèse de doctorat dirigée par Dubois, Catherine et Delahaye, David Informatique Paris, CNAM 2013",
note = "2013CNAM0895",
url = "http://www.theses.fr/2013CNAM0895/document",
}