van der Poll, John Andrew, Fisokuhle Hopewell Nyembe Nyembe, and Hugo Hendrik Lotriet. 2023. “Formal Methods for an Agile Scrum Software Development Methodology”. Proceedings of the International Conference on Advanced Technologies 11 (September):168-76. https://doi.org/10.58190/icat.2023.35.