MLA
Le, Anh Hong, et al. "Formal Analysis of Database Trigger Systems Using Event-B." IJSI vol.9, no.4 2021: pp.158-173. http://doi.org/10.4018/IJSI.20211001.oa1
APA
Le, A. H., Van Khanh, T., & Thuan, T. N. (2021). Formal Analysis of Database Trigger Systems Using Event-B. International Journal of Software Innovation (IJSI), 9(4), 158-173. http://doi.org/10.4018/IJSI.20211001.oa1
Chicago
Le, Anh Hong, To Van Khanh, and Truong Ninh Thuan. "Formal Analysis of Database Trigger Systems Using Event-B," International Journal of Software Innovation (IJSI) 9, no.4: 158-173. http://doi.org/10.4018/IJSI.20211001.oa1
Export Reference