Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud. An Overview of RoZ: A Tool for Integrating UML and Z Specifications. In Benkt Wangler, Lars Bergman, editors, Advanced Information Systems Engineering, 12th International Conference CAiSE 2000, Stockholm, Sweden, June 5-9, 2000, Proceedings. Volume 1789 of Lecture Notes in Computer Science, pages 417-430, Springer, 2000. [doi]
Abstract is missing.