Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering

Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings

Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings

Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig

Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings