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://ijcjournal.org/index.php/InternationalJournalOfComputer/article/view/1019. Acesso em: 20 apr. 2024.