Silva Junior, Braz, Simone André da Costa Cavalheiro, and Luciana Foss.
" GGasCT: Bringing Formal Methods to the Computational Thinking." <em>Anais dos Workshops do IX Congresso Brasileiro de Informática na Educação,
Online, 2020</em>. SBC, 2020,  
pp.83-83.