S. Dupuy, Y. Ledru, M. Chabre-Peccoud. An Overview of RoZ : a Tool for Integrating UML and Z Specifications. In 12th Conference on Advanced information Systems Engineering-CAiSE'2000, Lecture Notes in Computer Science, Volume 1789, Stockholm, Suède, 2000.
@InProceedings{CIC:Dup00b,
Author = {Dupuy, S. and Ledru, Y. and Chabre-Peccoud, M.},
Title = {{An Overview of RoZ : a Tool for Integrating UML and Z Specifications}},
BookTitle = {12th Conference on Advanced information Systems Engineering-CAiSE'2000},
Volume = {1789},
Series = {Lecture Notes in Computer Science},
Publisher = {Springer-Verlag},
Address = {Stockholm, Suède},
Year = {2000}
}
Charger la référence EndNote (.ref)