COM-03:vasco-71

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, January 2003.

Contact

Yves Ledru

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)