van der Poll JA, Nyembe FHN, Lotriet HH. Formal Methods for an Agile Scrum Software Development Methodology. ICAT [Internet]. 2023 Sep. 26 [cited 2025 Oct. 5];11:168-76. Available from: https://proceedings.icatsconf.org/conf/index.php/ICAT/article/view/52