Download of groove-4_4_5-bin+javadoc.zip (groove-4_4_5-bin+javadoc.zip ( external link: SF.net): 46,885,936 bytes) will begin shortly. If not so, click link on the left.

File Information

File Size
46,885,936 bytes
MD5
77faef16eb35f689edcefeeebb83e913

Projeto Descrição

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