Kainat Fatima, Sidra Sultana, Jawad Ali Abbasi, and Muhammad Talha Khalid. “The Modeling and Verification of Trainify: (Tennis App)”. International Journal of Emerging Multidisciplinaries: Computer Science & Artificial Intelligence 1, no. 2 (September 30, 2022): 26–34. Accessed April 17, 2024. https://ojs.ijemd.com/index.php/ComputerScienceAI/article/view/89.