Vol-1529⫷ Vol-1530 ⫸Vol-1531
urn:nbn:de:0074-1530-0


Vol-1530/paper3⫷Vol-1530/paper4⫸Vol-1530/paper5

UML and OCL Transformation Model Analysis: Checking Invariant Independence