Akinsola, Jide E. T., Kuyoro, Afolashade, O., Adeagbo, Moruf A., et al. Performance Evaluation of Software using Formal Methods. GJCST [Internet]. 2020 Jan. 15 [cited 2024 May 5];20(C1):17-23. Available from: https://computerresearch.org/index.php/computer/article/view/1930