2 books • 1 series
Graph and Model Transformation (Monographs in Theoretical Computer Science. An EATCS)
Analysis and Correctness of Algebraic Graph and Model Transformations