Damiano Torre. Verifying the Consistency of UML Models. In 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2016, Ottawa, ON, Canada, October 23-27, 2016. pages 53-54, IEEE Computer Society, 2016. [doi]
Abstract is missing.