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 (Aug. 2017), 152–160.