B König, D Nolte, J Padberg… - … , Specifications, and Nets …, 2018 - research.utwente.nl
Graph transformation or graph rewriting has been developed for nearly 50 years and has
become a mature and manifold formal technique. Basically, rewrite rules are used to …