ERIHRI JONATHAN (PHD). An Overview of the Adoption of Formal Methods in Software Engineering in Nigeria. Scholarly Journal of Science and Technology Research and Development, Port Harcourt, Rivers, v. 3, n. 3, p. 17–22, 2024. Disponível em: https://www.openjournals.ijaar.org/index.php/sjstrd/article/view/511.. Acesso em: 14 oct. 2024.