Silva, J., 		Silva Junior, B., 		Foss, L., & 		Cavalheiro, S.
2023 out  9.  Problem-solving Systematization: Introducing Formal Methods in Basic Education. Anais do Workshop-Escola de Informática Teórica (WEIT). [Online] :