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), pp. 1–7. Available at: https://computerresearch.org/index.php/computer/article/view/102296 (Accessed: 9 May 2024).