Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Dissertations & habilitations
Research results
Ph.D de MARCHÉ Claude
MARCHÉ Claude
Ph.D
Group : Verification of Algorithms, Languages and Systems



Starts on
Advisor : JOUANNAUD, Jean-Pierre

Funding :
Affiliation : vide
Laboratory :

Defended on , committee :

Research activities :
   - Rewriting

Abstract :