Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Doctorat de MARCHÉ Claude
MARCHÉ Claude
Doctorat
Equipe : Vérification d'Algorithmes, Langages et Systèmes



Début le 01/01/1970
Direction : JOUANNAUD, Jean-Pierre

Ecole doctorale : ED STIC 580
Etablissement d'inscription : vide

Lieu de déroulement :

Soutenue le 01/01/1970 devant le jury composé de :

Activités de recherche :
   - Réécriture

Résumé :