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