B. Silva Junior, S. Cavalheiro, and L. Foss. "GGasCT: Bringing Formal Methods to the Computational Thinking", in Anais dos Workshops do IX Congresso Brasileiro de Informática na Educação, Online, 2020, pp. 83-83, doi: https://doi.org/10.5753/cbie.wcbie.2020.83.