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


Vol-1235/paper-07⫷Vol-1235/paper-08⫸Vol-1235/paper-09

Towards a Base Model for UML and OCL Verification