TY  - THES
DP  - http://www.theses.fr/2013CNAM0895
TI  - Extraction de code fonctionnel certifié à partir de spécifications inductives
AU  - Tollitte, Pierre-Nicolas
A3  - Dubois, Catherine; Delahaye, David
PY  - 2013
N1  - Thèse de doctorat Informatique Paris, CNAM 2013
N1  - 2013CNAM0895
UR  - http://www.theses.fr/2013CNAM0895/document
ER  -