Download of groove-5_5_6-bin.zip (groove-5_5_6-bin.zip ( external link: SF.net): 31,938,510 bytes) will begin shortly. If not so, click link on the left.
Graph transformation, model transformation, object-oriented verification, behavioural semantics