Télécharger des groove-4_5_2-samples.zip (groove-4_5_2-samples.zip ( lien externe: SourceForge.net): 62,231 octets) va bientôt commencer. Sinon, cliquez sur groove-4_5_2-samples.zip ( lien externe: SourceForge.net).
Graph transformation, model transformation, object-oriented verification, behavioural semantics