CIC:Dup00b

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.

Contact

Yves Ledru

BibTex Reference

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

EndNote Reference [help]

Get EndNote Reference (.ref)