PARRENNES Fabrice

毕业博士 - SPI
离开日期 : 2002-6-1
https://lip6.fr/Fabrice.Parrennes

责任导师 : Thérèse HARDIN

Analyse de sûreté du logiciel par interprétation abstraite et contraintes

答辩 : 2002-5-22

评委会 :

Jean Charles POMEROL (Président)
François FAGES (Rapporteur)
Jean GOUBAULT LARRECQ (Rapporteur)
Thérèse HARDI (Directeur) Marc POUZET
Philippe AYRAULT
Philippe HILSENKOPF

离开日期 : 2002-6-1

2001-2002 刊物