Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado. The Verigraph System for Graph Transformation. In Reiko Heckel, Gabriele Taentzer, editors, Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig. Volume 10800 of Lecture Notes in Computer Science, pages 160-178, Springer, 2018. [doi]
Abstract is missing.