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: Arend Rensink
started: November 2018