Thèse en cours
Equipe :
ZAMBRANO.--1990
Début le 01/01/1970
Direction : BIDOIT, Michel
Ecole doctorale :
Etablissement d'inscription : vide
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é :