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.