Misbah Mehboob Awan, Wasi Haider Butt, Muhammad Waseem Anwar, Farooque Azam. Seamless Runtime Transformations from Natural Language to Formal Methods - A usecase of Z-Notation. In SoSE. pages 375-380, 2022. [doi]
@inproceedings{AwanBAA22,
title = {Seamless Runtime Transformations from Natural Language to Formal Methods - A usecase of Z-Notation},
author = {Misbah Mehboob Awan and Wasi Haider Butt and Muhammad Waseem Anwar and Farooque Azam},
year = {2022},
doi = {10.1109/SOSE55472.2022.9812644},
url = {https://doi.org/10.1109/SOSE55472.2022.9812644},
researchr = {https://researchr.org/publication/AwanBAA22},
cites = {0},
citedby = {0},
pages = {375-380},
booktitle = {SoSE},
}