Kruti P. Shah, and Emanuel S. Grant. 2023. “Towards Verification of UML Class Models Using Formal Specification Methods: A Review”. Global Journal of Computer Science and Technology 23 (H1):1-7. https://computerresearch.org/index.php/computer/article/view/102296.