Cover Image
Read Now

1
Published 2012
Springer Berlin Heidelberg
Table of Contents: “...Locality in Reasoning about Graph Transformations -- Contextual Hyperedge Replacement -- The Added...”
Cover Image
Read Now

2
Published 2016
Springer International Publishing
Table of Contents: “... technology -- Testing and formal analysis -- Graph transformations and model transformations -- Model driven...”
Cover Image
Read Now

3
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... of Stochastic Graph Transformation Systems -- Discovering Math APIs by Mining Unit Tests -- POGen: A Test Code...”