OLUBUKOLA D., Adekola; ADEWALE O., Adebayo. Formal Methods as Specification and Verification Tools Towards Stable Software Solutions. International Journal of Computer (IJC), Jordan, v. 26, n. 1, p. 152–160, 2017. DOI: 10.53896/ijc.v26i1.1019. Disponível em: https://ijcjournal.org/InternationalJournalOfComputer/article/view/1019. Acesso em: 12 sep. 2025.