An Overview of RoZ: A Tool for Integrating UML and Z Specifications.

Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud

Browse the full CaiSE paper archive.