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


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

Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report