Valéria Lelli, Ismayle Santos, and Karina Branco. 2024.
 Using gamified practices in teaching Software Verification and Validation. In <em>Proceedings of the 4th Brazilian Symposium on Computing Education</em>, April 22, 2024, Evento Online, Brasil. SBC, Porto Alegre, Brasil, 184-192. DOI: <a href="https://doi.org/10.5753/educomp.2024.237525">https://doi.org/10.5753/educomp.2024.237525</a>.