Download of groove-5_7_2-samples.zip (groove-5_7_2-samples.zip ( external link: SF.net): 92,076 bytes) will begin shortly. If not so, click link on the left.

檔案信息

檔案大小
92,076 bytes
MD5
688014e8087d76f8e6f2ccdfbc042514

專案描述

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