LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News » PhD students

PARRENNES Fabrice

PhD graduated - SPI
Departure date : 06/01/2002
Supervision : Thérèse HARDIN

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

Defence : 05/22/2002
Jury members :
Jean Charles POMEROL (Président)
François FAGES (Rapporteur)
Jean GOUBAULT LARRECQ (Rapporteur)
Thérèse HARDI (Directeur) Marc POUZET
Philippe AYRAULT
Philippe HILSENKOPF

2001-2002 Publications

 Mentions légales
Site map |