TY  - THES
DP  - 
		http://www.theses.fr/2011EPXX0037
TI  - Analyse statique de programmes numériques : ensembles affinés contraints
AU  - Ghorbal, Khalil
A3  - Goubault, Éric; Putot, Sylvie
PY  - 2011
SP  - 1 vol. (VI-162 p.)
N1  - Thèse de doctorat Informatique Palaiseau, Ecole polytechnique 2011
N1  - 2011EPXX0037
ER  -