ARF: Automatic Requirements Formalisation Tool.

Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim

Browse the full RE paper archive.