Download of groove-5_3_1-bin.zip (groove-5_3_1-bin.zip ( external link: SF.net): 25,228,921 bytes) will begin shortly. If not so, click link on the left.

File Information

File Size
25,228,921 bytes
MD5
1f64fb2b3bfa02a3b99878a8ab2b6d0b

프로젝트 설명

Graph transformation, model transformation, object-oriented verification, behavioural semantics