Exploring The Semantics of UML Type Structures with Z

• 1 January 1997
• book chapter
• Published by Springer Nature
• p. 247-257
• https://doi.org/10.1007/978-0-387-35261-9_17

Abstract