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