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