"Smart Bound Selection for the Verification of UML/OCL Class Diagrams."

Robert Clarisó, Carlos A. González, Jordi Cabot (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics