Thèse en cours
Equipe :
AIGUIER.01-10-1992
Début le 01/10/1992
Direction : GAUDEL, Marie-Claude
Ecole doctorale :
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é :