Kainat Fatima, Sidra Sultana, Jawad Ali Abbasi and Muhammad Talha Khalid (2022) “The Modeling and Verification of Trainify: (Tennis App)”, International Journal of Emerging Multidisciplinaries: Computer Science & Artificial Intelligence, 1(2), pp. 26–34. doi: 10.54938/ijemdcsai.2022.01.2.89.