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]
@inproceedings{Zaki-IsmailO0GI21,
title = {ARF: Automatic Requirements Formalisation Tool},
author = {Aya Zaki-Ismail and Mohamed Osama and Mohamed Abdelrazek 0001 and John C. Grundy and Amani S. Ibrahim},
year = {2021},
doi = {10.1109/RE51729.2021.00060},
url = {https://doi.org/10.1109/RE51729.2021.00060},
researchr = {https://researchr.org/publication/Zaki-IsmailO0GI21},
cites = {0},
citedby = {0},
pages = {440-441},
booktitle = {29th IEEE International Requirements Engineering Conference, RE 2021, Notre Dame, IN, USA, September 20-24, 2021},
publisher = {IEEE},
isbn = {978-1-6654-2856-9},
}