"Translating Essential OCL Invariants to Nested Graph Constraints Focusing ..."

Hendrik Radke et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics