Júlia Silva, Braz Silva Junior, Luciana Foss, and Simone Cavalheiro. 2023.
 Problem-solving Systematization: Introducing Formal Methods in Basic Education. In <em>Proceedings of the 7th Workshop-School of Theoretical Computer Science</em>, October 09, 2023, Rio Grande/RS, Brasil. SBC, Porto Alegre, Brasil, 71-78. DOI: <a href="https://doi.org/10.5753/weit.2023.26599">https://doi.org/10.5753/weit.2023.26599</a>.