Olubukola D. A, Adewale O. A. Formal Methods as Specification and Verification Tools Towards Stable Software Solutions. IJC [Internet]. 2017 Aug. 15 [cited 2024 Apr. 19];26(1):152-60. Available from: https://ijcjournal.org/index.php/InternationalJournalOfComputer/article/view/1019