, 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 -
International Journal of Computer (IJC) Vol. 31 No. 1 (2018) - Articles
Holistic Approach to Big Data Definition using Analysis of Facts
Abstract PDF