Bonino MB, Garis A, Riesco D. FORMAL MODELING AND ANALYSIS OF ENTITY FRAMEWORK USING ALLOY . IJSECS [Internet]. 2021 Aug. 30 [cited 2024 Apr. 25];7(2):9-18. Available from: https://journal.ump.edu.my/ijsecs/article/view/4667