Vol-2549⫷ Vol-2550 ⫸Vol-2551
urn:nbn:de:0074-2550-0


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

Applying Formal Reasoning to Model Transformation: The Meeduse solution