PARRENNES Fabrice

Doctor - SPI
Fecha de salida : 01/06/2002
https://lip6.fr/Fabrice.Parrennes

Dirección de investigación : Thérèse HARDIN

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

Defensa : 22/05/2002

miembros del jurado :

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

Fecha de salida : 01/06/2002

Publicaciones 2001-2002

Ellas todas Tesis Otras publicaciones

2002
- F. Parrennes : “Analyse de sûreté du logiciel par interprétation abstraite et contraintes”, tesis, defensa 22/05/2002, director de investigación Hardin, Thérèse (2002)
2001
- F. Parrennes : “Fraction : analyseur de propriétés par des techniques de résolution de contraintes”, (2001)