"Contract-based verification of model transformations: a formally founded ..."

Guillaume Brau, Mohammed Foughali (2021)
a service of Schloss Dagstuhl - Leibniz Center for Informatics