Formalizing UML. Why? How?

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]

@inproceedings{0001AD098,
  title = {Formalizing UML. Why? How?},
  author = {Ana Moreira 0001 and Luis Filipe Andrade and Akash Deshpande and Stuart Kent 0001},
  year = {1998},
  doi = {10.1145/346852.346959},
  url = {https://doi.org/10.1145/346852.346959},
  researchr = {https://researchr.org/publication/0001AD098},
  cites = {0},
  citedby = {0},
  booktitle = {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},
  editor = {James Haungs},
  publisher = {ACM},
  isbn = {978-1-58113-286-1},
}