Thèse en cours
Equipe :
KHOURY.01-09-1995
Début le 01/09/1995
Direction : GAUDEL, Marie-Claude
Ecole doctorale : ED d’Informatique de l’Université Paris-Sud
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement :
Soutenue le 01/01/1970 devant le jury composé de :
Activités de recherche :
- Méthodes Formelles de Génie Logiciel
Résumé :