Vol-1499⫷ Vol-1500 ⫸Vol-1501
urn:nbn:de:0074-1500-0


Vol-1500/paper1⫷Vol-1500/paper5⫸Vol-1500/paper6

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