Andrei Costa, Jonas Santos Bezerra, Guilherme Azzi, Leonardo Rodrigues, Thiago Rafael Becker, Ricardo Gabriel Herdt, Rodrigo Machado. Verigraph: A System for Specification and Analysis of Graph Grammars. In Leila Ribeiro, Thierry Lecomte, editors, Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. Volume 10090 of Lecture Notes in Computer Science, pages 78-94, 2016. [doi]
Abstract is missing.