A Generic Formal Specification of an Infinite Runner Games for Handheld Devices Using Z-Notation. - Abid Jamil; Zeshan Murtza; Muhammad Kashif Nazir; Muhammad Waseem; Zikra Ghulam; Rao Umer Farooq (ICCCS, 2019)