Skip to Main content Skip to Navigation
New interface


...
tel-02007777v1  Theses
Messaoud Abbas. L'environnement FoCaLiZe au service d'UML/OCL
Informatique [cs]. Université des Sciences et de la Technologie Houari Boumediene (USTHB), Alger, Algérie.; L’École Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise (ENSIIE), Paris, Evry., 2018. Français
...
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⟩
...
tel-01415945v1  Theses
Raphaël Cauderlier. Object-Oriented Mechanisms for Interoperability between Proof Systems
Logic in Computer Science [cs.LO]. Conservatoire National Des Arts et Métiers, Paris, 2016. English. ⟨NNT : ⟩