GIANTAMIDIS, Georgios; PAPANIKOLAOU, Georgios; MIRANDA, Marcelo; SALINAS-HERNANDO, Gonzalo; VALVERDE-ALCALA, Juan; VELURU, Suresh; BASAGIANNIS, Stylianos. ReForm: A Tool for Rapid Requirements Formalization. Electronic Communications of the EASST, [S. l.], v. 79, 2021. DOI: 10.14279/tuj.eceasst.79.1117. Disponível em: https://eceasst.org/index.php/eceasst/article/view/2248. Acesso em: 23 nov. 2024.