Marcin Szlenk. Formal Semantics and Reasoning about UML Class Diagram. In 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 24-28 May 2006, Szklarska Poreba, Poland. pages 51-59, IEEE Computer Society, 2006. [doi]
Abstract is missing.