Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Habilitation à diriger des recherches de FILLIÂTRE Jean-Christophe
FILLIÂTRE Jean-Christophe
Habilitation à diriger des recherches
Equipe : Toccata

FILLIATRE.02-12-2011

Début le 01/01/1970
Direction :

Financement :
Etablissement d'inscription : vide
Lieu de déroulement :

Soutenue le 02/12/2011 devant le jury composé de :

Activités de recherche :
   - Vérification déductive de programmes

Résumé :