AKINSOLA, JIDE E. T.; KUYORO; AFOLASHADE; O.; ADEAGBO; MORUF A.; AWOSEYI; AYOMIKUN A. Performance Evaluation of Software using Formal Methods. Global Journal of Computer Science and Technology, [S. l.], v. 20, n. C1, p. 17–23, 2020. Disponível em: https://computerresearch.org/index.php/computer/article/view/1930. Acesso em: 5 may. 2024.