PARRENNES Fabrice
Forschungsleitung (Direction de recherche) : Thérèse HARDIN
Analyse de sûreté du logiciel par interprétation abstraite et contraintes
Verteidigung einer Doktorarbeit : 22.05.2002
Mitglieder der Prüfungskommission :
Jean Charles POMEROL (Président)
François FAGES (Rapporteur)
Jean GOUBAULT LARRECQ (Rapporteur)
Thérèse HARDI (Directeur) Marc POUZET
Philippe AYRAULT
Philippe HILSENKOPF