%0 Conference Paper %1 conf/icsie/AwanAAR20 %A Awan, Misbah Mehboob %A Azam, Farooque %A Anwar, Muhammad Waseem %A Rasheed, Yawar %B ICSIE %D 2020 %I ACM %K dblp %P 61-66 %T Formal Requirements Specification: Z Notation Meta Model Facilitating Model to Model Transformation. %U http://dblp.uni-trier.de/db/conf/icsie/icsie2020.html#AwanAAR20 %@ 978-1-4503-7721-8

@inproceedings{conf/icsie/AwanAAR20, added-at = {2022-04-09T00:00:00.000+0200}, author = {Awan, Misbah Mehboob and Azam, Farooque and Anwar, Muhammad Waseem and Rasheed, Yawar}, biburl = {https://www.bibsonomy.org/bibtex/25cd8e54db6be3ff1329a547f351c9e07/dblp}, booktitle = {ICSIE}, crossref = {conf/icsie/2020}, ee = {https://doi.org/10.1145/3436829.3436845}, interhash = {f59058c1601fe3dfd97333b25f23f00c}, intrahash = {5cd8e54db6be3ff1329a547f351c9e07}, isbn = {978-1-4503-7721-8}, keywords = {dblp}, pages = {61-66}, publisher = {ACM}, timestamp = {2024-04-09T14:14:01.000+0200}, title = {Formal Requirements Specification: Z Notation Meta Model Facilitating Model to Model Transformation.}, url = {http://dblp.uni-trier.de/db/conf/icsie/icsie2020.html#AwanAAR20}, year = 2020 }