Bonino, M.B., Garis, A. and Riesco, D. 2021. FORMAL MODELING AND ANALYSIS OF ENTITY FRAMEWORK USING ALLOY . International Journal of Software Engineering and Computer Systems. 7, 2 (Aug. 2021), 9–18. DOI:https://doi.org/10.15282/ijsecs.7.2.2021.2.0085.