Thèse en cours
Equipe :
ROQUES.01-10-1990
Début le 01/10/1990
Direction : BIDOIT, Michel
Ecole doctorale :
Etablissement d'inscription : Université Paris-Sud 11 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é :