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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.