Akinsola, Jide E. T., Kuyoro, Afolashade, O., Adeagbo, Moruf A., Awoseyi, and Ayomikun A. 2020. “Performance Evaluation of Software Using Formal Methods”. Global Journal of Computer Science and Technology 20 (C1):17-23. https://computerresearch.org/index.php/computer/article/view/1930.