BONINO, Maria Belen; GARIS, Ana; RIESCO, Daniel. 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: 21 dec. 2024.