Vol-1324⫷ Vol-1325 ⫸Vol-1326
urn:nbn:de:0074-1325-0


Vol-1325/paper4⫷Vol-1325/paper5⫸Vol-1325/paper6

Language-Independent Model Transformation Verification