Bonino, M. B.; Garis, A.; Riesco, D. FORMAL MODELING AND ANALYSIS OF ENTITY FRAMEWORK USING ALLOY . IJSECS 2021, 7 (2), 9-18. https://doi.org/10.15282/ijsecs.7.2.2021.2.0085.