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.