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