Tony Clark. Type Checking UML Static Diagrams. In Robert B. France, Bernhard Rumpe, editors, «UML» 99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings. Volume 1723 of Lecture Notes in Computer Science, pages 503-517, Springer, 1999.
Abstract is missing.