Olubukola D., Adekola, and Adebayo Adewale O. “Formal Methods As Specification and Verification Tools Towards Stable Software Solutions”. International Journal of Computer (IJC) 26, no. 1 (August 15, 2017): 152–160. Accessed April 19, 2024. https://ijcjournal.org/index.php/InternationalJournalOfComputer/article/view/1019.