Télécharger des groove-5_7_4-src.zip (groove-5_7_4-src.zip ( lien externe: SourceForge.net): 2,825,144 octets) va bientôt commencer. Sinon, cliquez sur groove-5_7_4-src.zip ( lien externe: SourceForge.net).
Graph transformation, model transformation, object-oriented verification, behavioural semantics