Braz Silva Junior, Simone Cavalheiro, and Luciana Foss. 2020. GGasCT: Bringing Formal Methods to the Computational Thinking. In Anais Estendidos do IX Congresso Brasileiro de Informática na Educação, novembro 24, 2020, Online, Brasil. SBC, Porto Alegre, Brasil, 83-83. DOI: https://doi.org/10.5753/cbie.wcbie.2020.83.