Georgios Giantamidis, Georgios Papanikolaou, Marcelo Miranda, Gonzalo Salinas-Hernando, Juan Valverde-Alcalá, Suresh Veluru 0001, Stylianos Basagiannis. ReForm: A Tool for Rapid Requirements Formalization. ECEASST, 79, 2020. [doi]
@article{GiantamidisPMSV20,
title = {ReForm: A Tool for Rapid Requirements Formalization},
author = {Georgios Giantamidis and Georgios Papanikolaou and Marcelo Miranda and Gonzalo Salinas-Hernando and Juan Valverde-Alcalá and Suresh Veluru 0001 and Stylianos Basagiannis},
year = {2020},
doi = {10.14279/tuj.eceasst.79.1117},
url = {https://doi.org/10.14279/tuj.eceasst.79.1117},
researchr = {https://researchr.org/publication/GiantamidisPMSV20},
cites = {0},
citedby = {0},
journal = {ECEASST},
volume = {79},
}