Misbah Mehboob Awan, Farooque Azam, Muhammad Waseem Anwar, Yawar Rasheed. Formal Requirements Specification: Z Notation Meta Model Facilitating Model to Model Transformation. In ICSIE 2020: 2020 9th International Conference on Software and Information Engineering, Cairo, Egypt, November, 2020. pages 61-66, ACM, 2020. [doi]
@inproceedings{AwanAAR20,
title = {Formal Requirements Specification: Z Notation Meta Model Facilitating Model to Model Transformation},
author = {Misbah Mehboob Awan and Farooque Azam and Muhammad Waseem Anwar and Yawar Rasheed},
year = {2020},
doi = {10.1145/3436829.3436845},
url = {https://doi.org/10.1145/3436829.3436845},
researchr = {https://researchr.org/publication/AwanAAR20},
cites = {0},
citedby = {0},
pages = {61-66},
booktitle = {ICSIE 2020: 2020 9th International Conference on Software and Information Engineering, Cairo, Egypt, November, 2020},
publisher = {ACM},
isbn = {978-1-4503-7721-8},
}