@article{{weit}{}, author = {Silva, J., Silva Junior, B., Foss, L., Cavalheiro, S.}, title = { Problem-solving Systematization: Introducing Formal Methods in Basic Education}, journal = {Anais do Workshop-Escola de Informática Teórica (WEIT)}, year = {2023}, doi = {10.5753/weit.2023.26599}, url = {https://sol.sbc.org.br/index.php/weit/article/view/26599} }