van der Poll, J.A., Nyembe, F.H.N. and Lotriet, H.H. 2023. Formal Methods for an Agile Scrum Software Development Methodology. Proceedings of the International Conference on Advanced Technologies. 11, (Sep. 2023), 168–176. DOI:https://doi.org/10.58190/icat.2023.35.