Thèse en cours
Equipe :
LE GALL.01-09-1994
Début le 01/09/1994
Direction : FAYARD, Didier
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é :