Silva, Júlia, 		Silva Junior, Braz, 		Foss, Luciana, AND 		Cavalheiro, Simone.
" Problem-solving Systematization: Introducing Formal Methods in Basic Education" <em>Proceedings of the Workshop-School on Theoretical Computer Science (WEIT)</em> [Online], (9 October 2023)