Spécifications formelles du chanfreinage

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

Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Nancy, France - Juin 2001

Références BibTex

@InProceedings{LMADLB2001_28,

	author	= {Ledoux, F. and Mota, J.-M. and Arnould, A. and Dubois, C. and Le Gall, P. and Bertrand, Y.},
	title	= {Sp\'ecifications formelles du chanfreinage.},
	month	= {Juin},
	year	= {2001},
	note	= {Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL), Nancy, France},

}