Lelli, V., 		Santos, I., & 		Branco, K.
2024 Apr 22.  Using gamified practices in teaching Software Verification and Validation. Proceedings of the Brazilian Symposium on Computing Education (EDUCOMP). [Online] :