Akinsola, Jide E. T. et al. 2020. Performance Evaluation of Software using Formal Methods. Global Journal of Computer Science and Technology. 20, C1 (Jan. 2020), 17–23.