Erihri Jonathan (PhD) 2024. An Overview of the Adoption of Formal Methods in Software Engineering in Nigeria. Scholarly Journal of Science and Technology Research and Development. 3, 3 (Mar. 2024), 17–22.