Lima, I., 		Oliveira, S., 		Andrade, F., 		Ventura, L., & 		Rabelo, J.
2025 Jul 20.  Exploring Active Methodologies in Software Verification and Validation Education at UFC: Case-Based Learning, Games, and Gamification. Proceedings of the Workshop on Computing Education (WEI). [Online] :