"Static Analysis of Conformance Preserving Model Transformation Rules."

Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics