Fabian Büttner, Marina Egea, Esther Guerra, Juan de Lara. Checking Model Transformation Refinement. In Keith Duddy, Gerti Kappel, editors, Theory and Practice of Model Transformations - 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings. Volume 7909 of Lecture Notes in Computer Science, pages 158-173, Springer, 2013. [doi]
Abstract is missing.