Braz Silva Junior, Simone Cavalheiro, and Luciana Foss. 2020.
 GGasCT: Bringing Formal Methods to the Computational Thinking. In <em>Companion Proceedings of the 9th Brazilian Congress on Computers in Education</em>, November 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>.