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.