Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Dissertations & habilitations
Research results
Thesis in progress de

Thesis in progress
Group :

KHOURY.01-09-1995

Starts on 01/09/1995
Advisor : GAUDEL, Marie-Claude

Funding : Attaché temporaire d'enseignement et de recherche
Affiliation : Université Paris-Saclay
Laboratory :

Defended on , committee :

Research activities :
   - Formal Methods for Software Engineering

Abstract :