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


Vol-1235/paper-07⫷Vol-1235/paper-08⫸Vol-1235/paper-09
Philipp Niemann 0001Frank HilkenRobert WilleMartin Gogolla

Towards a Base Model for UML and OCL Verification