Download von groove-4_6_0-bin+javadoc.zip (groove-4_6_0-bin+javadoc.zip ( externer Link: SourceForge.net): 55,393,847 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf groove-4_6_0-bin+javadoc.zip ( externer Link: SourceForge.net).
Graph transformation, model transformation, object-oriented verification, behavioural semantics