Vol-1234⫷ Vol-1235 ⫸Vol-1236
urn:nbn:de:0074-1235-0


Vol-1235/paper-04⫷Vol-1235/paper-05⫸Vol-1235/paper-06
Adrian RutleXiaoliang Wang (disambiguation)Yngve Lamo

Scalable Verification of Model Transformations