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 May 4, 2025. https://www.ojs.ijemd.com/index.php/ComputerScienceAI/article/view/89.