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


Vol-1500/paper3⫷Vol-1500/paper1⫸Vol-1500/paper5
James R. CordyGehan M. K. SelimJürgen DingelLevi LucioBentley J. Oakes

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