Vol-1324⫷ Vol-1325 ⫸Vol-1326
urn:nbn:de:0074-1325-0


Vol-1325/paper1⫷Vol-1325/paper2⫸Vol-1325/paper3

MocOCL: A Model Checker for CTL-Extended OCL Specifications