Silva, Júlia, Braz Araujo da Silva Junior, Luciana Foss, and Simone André da Costa Cavalheiro.
" Problem-solving Systematization: Introducing Formal Methods in Basic Education." <em>Anais do VII Workshop-Escola de Informática Teórica,
Rio Grande/RS, 2023</em>. SBC, 2023,  
pp.71-78.