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

文件信息

文件大小
2,805 字节
MD5
887b5a9514659bd6a032d7bc88e5558d

项目描述

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