Télécharger des groove-3_2_0-bin+javadoc.zip (groove-3_2_0-bin+javadoc.zip ( lien externe: SourceForge.net): 32,130,137 octets) va bientôt commencer. Sinon, cliquez sur groove-3_2_0-bin+javadoc.zip ( lien externe: SourceForge.net).
Graph transformation, model transformation, object-oriented verification, behavioural semantics