Y. Ledru, S. Dupuy. RoZ, un outil intégrant UML et Z pour l'ingénierie des exigences. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, IRISA, Rennes, Janvier 2003.
@Misc{COM-03:vasco-71,
Author = {Ledru, Y. and Dupuy, S.},
Title = {{RoZ, un outil intégrant UML et Z pour l'ingénierie des exigences}},
BookTitle = {{Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003}},
editor = {Jézéquel, J.-M.},
Address = {IRISA, Rennes},
Month = {January},
Year = {2003}
}
Charger la référence EndNote (.ref)