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

Additional Resources

  1. Thesis