TY  - THES
DP  - 
		http://www.theses.fr/1985PA112384
TI  - Synthèse de programmes à partir de spécifications
AU  - Perdrix, Hervé
A3  - Kodratoff, Yves
PY  - 1985
SP  - 1 vol. (131 p.)
N1  - Thèse de doctorat Informatique Paris 11 1985
N1  - 1985PA112384
ER  -