BONINO, M. B.; GARIS, A.; RIESCO, D. FORMAL MODELING AND ANALYSIS OF ENTITY FRAMEWORK USING ALLOY . International Journal of Software Engineering and Computer Systems, [S. l.], v. 7, n. 2, p. 9–18, 2021. DOI: 10.15282/ijsecs.7.2.2021.2.0085. Disponível em: https://journal.ump.edu.my/ijsecs/article/view/4667. Acesso em: 23 apr. 2024.