“The Modeling and Verification of Trainify: (Tennis App)”. 2022. International Journal of Emerging Multidisciplinaries: Computer Science & Artificial Intelligence 1 (2): 26-34. https://doi.org/10.54938/ijemdcsai.2022.01.2.89.