V. Lelli, I. Santos, and K. Branco.
" Using gamified practices in teaching Software Verification and Validation", in <em>Proceedings of the 4th Brazilian Symposium on Computing Education</em>, Evento Online, 2024, pp. 184-192, doi: <a href="https://doi.org/10.5753/educomp.2024.237525">https://doi.org/10.5753/educomp.2024.237525</a>.