Adewale O., Adebayo, Computer Science Department, Babcock University, Ilishan Remo, Ogun State, Nigeria
-
International Journal of Computer (IJC) Vol. 26 No. 1 (2017) - Articles
Formal Methods as Specification and Verification Tools Towards Stable Software Solutions
Abstract PDF