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): 17-22. https://www.openjournals.ijaar.org/index.php/sjstrd/article/view/511.