"Synthesising call sequences from OCL operational contracts."

Hao Wu (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics