Silva, Júlia, 		Silva Junior, Braz, 		Foss, Luciana, E 		Cavalheiro, Simone.
" Problem-solving Systematization: Introducing Formal Methods in Basic Education" <em>Anais do Workshop-Escola de Informática Teórica (WEIT)</em> [Online], (9 outubro 2023)