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