Formal specification for a mathematics-based application domain: geometric modeling

Ledoux F., Mota J.-M., Arnould A., Dubois C., Le Gall P., Bertrand Y.

Rapport LaMI n°51, Université d'Evry-Val d'Essonne, Evry, ftp://ftp.lami.univ-evry.fr/pub/publications/reports/index.html - 2000

Références BibTex

@TechReport{LMADLB2000_35,

	author	= {Ledoux, F. and Mota, J.-M. and Arnould, A. and Dubois, C. and Le Gall, P. and Bertrand, Y.},
	title	= {Formal specification for a mathematics-based application domain: geometric modeling.},
	year	= {2000},
	note	= {Rapport LaMI n°51, Universit\'e d'Evry-Val d'Essonne, Evry, ftp://ftp.lami.univ-evry.fr/pub/publications/reports/index.html},

}