Olubukola D. A, Adewale O. A. Formal Methods as Specification and Verification Tools Towards Stable Software Solutions. IJC. 2017;26(1):152-160. doi:10.53896/ijc.v26i1.1019