Coupling-based transformations of Z specifications into UML diagrams

Andreas Bollin. Coupling-based transformations of Z specifications into UML diagrams. ISSE, 7(4):283-292, 2011. [doi]

Abstract

Abstract is missing.