Kruti P. Shah, Emanuel S. Grant. Towards Verification of UML Class Models using Formal Specification Methods: A Review. GJCST [Internet]. 2023 Apr. 25 [cited 2024 Jul. 3];23(H1):1-7. Available from: https://computerresearch.org/index.php/computer/article/view/102296