Verifying the Consistency of UML Models

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

Abstract is missing.