Abid Jamil, Zeshan Murtza, Muhammad Kashif Nazir, Muhammad Waseem, Zikra Ghulam, Rao Umer Farooq. A Generic Formal Specification of an Infinite Runner Games for Handheld Devices Using Z-Notation. In IEEE 4th International Conference on Computer and Communication Systems, ICCCS 2019, Singapore, February 23-25, 2019. pages 409-413, IEEE, 2019. [doi]
Abstract is missing.