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]

Authors

Georgios Giantamidis

This author has not been identified. Look up 'Georgios Giantamidis' in Google

Georgios Papanikolaou

This author has not been identified. Look up 'Georgios Papanikolaou' in Google

Marcelo Miranda

This author has not been identified. Look up 'Marcelo Miranda' in Google

Gonzalo Salinas-Hernando

This author has not been identified. Look up 'Gonzalo Salinas-Hernando' in Google

Juan Valverde-Alcalá

This author has not been identified. Look up 'Juan Valverde-Alcalá' in Google

Suresh Veluru 0001

This author has not been identified. Look up 'Suresh Veluru 0001' in Google

Stylianos Basagiannis

This author has not been identified. Look up 'Stylianos Basagiannis' in Google