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