Download von groove-5_5_0-bin+javadoc.zip (groove-5_5_0-bin+javadoc.zip ( externer Link: SourceForge.net): 79,305,191 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf groove-5_5_0-bin+javadoc.zip ( externer Link: SourceForge.net).
Graph transformation, model transformation, object-oriented verification, behavioural semantics