ReForm: A Tool for Rapid Requirements Formalization

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]

No reviews for this publication, yet.