Ana Moreira 0001, Luis Filipe Andrade, Akash Deshpande, Stuart Kent 0001. Formalizing UML. Why? How?. In James Haungs, editor, Addendum to the 1998 Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 1998 Addendum, Vancouver, British Columbia, Canada, October 18-22, 1998. ACM, 1998. [doi]
Abstract is missing.