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