Follow @
OH
Graph transformation, model transformation, object-oriented verification, behavioural semantics
graph graphtheory graph_transformation gxl scientific software_development
There are no reported vulnerabilities