Y. Ledru. RoZ, un outil intégrant UML et Z pour la modélisation des systèmes d'information. Journée QSL (Qualité et Sureté du Logiciel), Nancy, 2003.
@Misc{COMS-03:vasco-88,
Author = {Ledru, Y.},
Title = {{RoZ, un outil intégrant UML et Z pour la modélisation des systèmes d'information}},
BookTitle = {{Journée QSL (Qualité et Sureté du Logiciel)}},
Address = {Nancy},
Month = {},
Year = {2003}
}
Get EndNote Reference (.ref)