Bonino, Maria Belen, Ana Garis, and Daniel Riesco. 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.