Olubukola D., Adekola, and Adebayo Adewale O. 2017. “Formal Methods As Specification and Verification Tools Towards Stable Software Solutions”. International Journal of Computer (IJC) 26 (1): 152-60. https://doi.org/10.53896/ijc.v26i1.1019.