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: 11 jun. 2026.