OLUBUKOLA D., A.; ADEWALE O., A. Formal Methods as Specification and Verification Tools Towards Stable Software Solutions. International Journal of Computer (IJC), [S. l.], v. 26, n. 1, p. 152–160, 2017. Disponível em: https://www.ijcjournal.org/index.php/InternationalJournalOfComputer/article/view/1019. Acesso em: 5 may. 2024.