Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner. Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. In Jürgen Dingel, Sahar Kokaly, Levi Lucio, Rick Salay, Hans Vangheluwe, editors, Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 28, 2015. Volume 1500 of CEUR Workshop Proceedings, pages 36-45, CEUR-WS.org, 2015. [doi]
Abstract is missing.