VAN DER POLL, J. A.; NYEMBE, F. H. N.; LOTRIET, H. H. Formal Methods for an Agile Scrum Software Development Methodology. Proceedings of the International Conference on Advanced Technologies, [S. l.], v. 11, p. 168–176, 2023. DOI: 10.58190/icat.2023.35. Disponível em: https://proceedings.icatsconf.org/conf/index.php/ICAT/article/view/52. Acesso em: 18 oct. 2024.