Skip to Main content Skip to Navigation
New interface


...
tel-00968607v1  Theses
Pierre-Nicolas Tollitte. Extraction de code fonctionnel certifié à partir de spécifications inductives
Informatique et langage [cs.CL]. Conservatoire national des arts et metiers - CNAM, 2013. Français. ⟨NNT : 2013CNAM0895⟩