Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Pierre-Nicolas Tollitte

est l'auteur d'une thèse

Assistants de preuve Coq Coq Focalize Génération de code fonctionnel Génération de preuves Relations inductives Spécifications exécutables Théorie de la démonstration

Fullscreen

Assistants de preuve Coq Coq Focalize Génération de code fonctionnel Génération de preuves Relations inductives Spécifications exécutables Théorie de la démonstration

Pierre-Nicolas Tollitte a rédigé la thèse suivante :

Extraction de code fonctionnel certifié à partir de spécifications inductives

par Pierre-Nicolas Tollitte sous la direction de Catherine Dubois et de David Delahaye . - Paris, CNAM

Informatique

Soutenue le 06-12-2013

Thèse soutenue

Accéder en ligne