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]
Abstract is missing.