TY  - THES
DP  - http://www.theses.fr/1988PA112315
TI  - Les principes essentiels d'une méthodologie nouvelle pour la synthèse de programmes à partir de spécifications formelles : CM-construction des formules atomiques
AU  - Franova, Marta
A3  - Kodratoff, Yves
PY  - 1988
SP  - 1 classeur (441 f.)
N1  - Thèse de doctorat Informatique Paris 11 1988
N1  - 1988PA112315
ER  -