Title: Analysis and Correctness of Algebraic Graph and Model Transformations
Subjects: Computer science, Computer Science, general