Publications

Jump to bottom

Guilherme Azzi edited this page Mar 15, 2017 · 4 revisions

Costa, A.; Bezerra, J; Azzi, G; Rodrigues, L; Becker, T. R.; Herdt, R. G.; Machado, R. Verigraph: A System for Specification and Analysis of Graph Grammars. In: Ribeiro L., Lecomte T. (eds) Formal Methods: Foundations and Applications. SBMF 2016. Lecture Notes in Computer Science, vol 10090. Springer, Cham

Copyright © Verites: Grupo de Verificação, Validação e Teste de Sistemas Computacionais

Clone this wiki locally