Home

Arend Rensink

Graph transformation, model transformation, object-oriented verification, behavioural semantics

Screenshot thumbnail
Solitaire board
Screenshot thumbnail
Visualised state space
Screenshot thumbnail
Sierpinski triangle, depth 5


Project Admins:


  • emma
    emma
    2014-03-05

    good evening

    I need to have the source code of the tool groove (groove-src)
    Can you help me