Download of README.md (README.md ( external link: SF.net): 2,778 字节) will begin shortly. If not so, click link on the left.

文件信息

文件大小
2,778 字节
MD5
6e3b46d9c10a5308c558f46644e3b1f1

项目描述

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