Publication

RoclET – A Tool for Wrestling with OCL Specifications