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

Robert Clarisó, Carlos A. González, Jordi Cabot (2019)

Details and statistics

DOI: 10.1109/TSE.2017.2777830

access: closed

type: Journal Article

metadata version: 2019-05-31

a service of  Schloss Dagstuhl - Leibniz Center for Informatics