Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations.

Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner

Browse the full MODELS paper archive.