Silva, J., 		Silva Junior, B., 		Foss, L., & 		Cavalheiro, S.
(2023).
 Problem-solving Systematization: Introducing Formal Methods in Basic Education.
In <em>Anais do VII Workshop-Escola de Informática Teórica</em>, (pp. 71-78). Porto Alegre: SBC.
doi:10.5753/weit.2023.26599