[1]
A. Olubukola D. and A. Adewale O., “Formal Methods as Specification and Verification Tools Towards Stable Software Solutions”, IJC, vol. 26, no. 1, pp. 152–160, Aug. 2017.