KRUTI P. SHAH; EMANUEL S. GRANT. Towards Verification of UML Class Models using Formal Specification Methods: A Review. Global Journal of Computer Science and Technology, [S. l.], v. 23, n. H1, p. 1–7, 2023. Disponível em: https://computerresearch.org/index.php/computer/article/view/102296. Acesso em: 3 jul. 2024.