ASZTALOS, Mark; EKLER, Péter; LENGYEL, László; LEVENDOVSZKY, Tihamér; MEZEI, Gergely; MÉSZÁROS, Tamás. Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations. Electronic Communications of the EASST, [S. l.], v. 42, 2011. DOI: 10.14279/tuj.eceasst.42.603. Disponível em: https://eceasst.org/index.php/eceasst/article/view/1829. Acesso em: 21 nov. 2024.