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. doi:10.53896/ijc.v26i1.1019.