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

Wang, Xiaoliang, Bergen University College, Norway

• 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.