-
Notifications
You must be signed in to change notification settings - Fork 4
Publications
-
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
-
Bezerra, J., Ribeiro, L. (2016). Calculation and Applications of Concurrent Rules. In Escola de Informática Teórica e Métodos Formais (Brazilian Symposium on Formal Methods School) (pp. 135–144).
-
Costa, A.; Machado, R.; Ribeiro, L. Evolving Negative Application Conditions. In: CAVALHEIRO, S. A. d. C. et al. (Ed.). Anais da 1a Escola de Informática Teórica e Métodos Formais. Porto Alegre/RS: Sociedade Brasileira de Computação – SBC, 2016. p. 74–82.