TY  - THES
DP  - http://www.theses.fr/2014PA066120
TI  - Analyse de sécurité de logiciels système par typage statique
AU  - Millon, Etienne
A3  - Chailloux, Emmanuel
PY  - 2014
N1  - Thèse de doctorat Informatique Paris 6 2014
N1  - 2014PA066120
UR  - http://www.theses.fr/2014PA066120/document
ER  -