Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek 0001, John C. Grundy, Amani S. Ibrahim. ARF: Automatic Requirements Formalisation Tool. In 29th IEEE International Requirements Engineering Conference, RE 2021, Notre Dame, IN, USA, September 20-24, 2021. pages 440-441, IEEE, 2021. [doi]
Abstract is missing.