Back to University of Twente portal
| author: | Remco de Man |
| title: | Provaby Correct Graph Models |
| keywords: | Model-Driven Engineering, EMF, Graph Transformation, GROOVE |
| topics: | Graphs , Logics and semantics , Software Technology |
| committee: |
Sebastiaan Joosten
, Arend Rensink |
| started: | November 2018 |
| end: | December 2019 |
