SILVA JUNIOR, Braz Araujo da; CAVALHEIRO, Simone André da Costa; FOSS, Luciana. GGasCT: Bringing Formal Methods to the Computational Thinking. In: S WORKSHOPS DO CONGRESSO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO (WCBIE), 9. , 2020, Online. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2020 . p. 83-83. DOI: https://doi.org/10.5753/cbie.wcbie.2020.83.