Télécharger des README.md (README.md ( lien externe: SourceForge.net): 2,778 octets) va bientôt commencer. Sinon, cliquez sur README.md ( lien externe: SourceForge.net).

Informations sur le fichier

Taille du fichier
2,778 octets
MD5
6e3b46d9c10a5308c558f46644e3b1f1

Description du projet

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