Olubukola D., A. and Adewale O., A. (2017) “Formal Methods as Specification and Verification Tools Towards Stable Software Solutions”, International Journal of Computer (IJC), 26(1), pp. 152–160. Available at: https://ijcjournal.org/index.php/InternationalJournalOfComputer/article/view/1019 (Accessed: 25 April 2024).