TY  - THES
DP  - 
		http://www.theses.fr/1994EPXX0015
TI  - Typage par interprétation abstraite
AU  - Monsuez, Bruno
A3  - Cousot, Patrick
PY  - 1994
SP  - 281 p.
N1  - Thèse de doctorat Informatique Palaiseau, Ecole polytechnique 1994
N1  - 1994EPXX0015
ER  -