Requirements Engineering: Foundation for Software Quality (REFSQ)

• Author of Towards Explainable Formal Methods: from LTL to Natural Language with Neural Machine Translation within the Research Papers-track