Lelli, V., 		Santos, I., & 		Branco, K.
(2024).
 Using gamified practices in teaching Software Verification and Validation.
In <em>Proceedings of the 4th Brazilian Symposium on Computing Education</em>, (pp. 184-192). Porto Alegre: SBC.
doi:10.5753/educomp.2024.237525