Electronic Communications of the EASST
is a peer-reviewed, scientific and open access journal
ISSN 1863-2122

Büttner, Fabian, École des Mines de Nantes-INRIA, France

• Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) - Articles
  Verification of Graph-based Model Transformations Using Alloy
  Abstract  PDF

Hosted By Universitätsbibliothek TU Berlin.