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