ReForm: A Tool for Rapid Requirements Formalization.

Georgios Giantamidis Georgios Papanikolaou Marcelo Miranda Gonzalo Salinas-Hernando Juan Valverde-Alcalá Suresh Veluru Stylianos Basagiannis

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2020)

Keyphrases