Download of usermanual.pdf (usermanual.pdf ( external link: SF.net): 285,804 bytes) will begin shortly. If not so, click link on the left.

File Information

File Size
285,804 bytes
MD5
3ed9bb4c46722b2e02be8d8bfcb6ad75

Projeto Descrição

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