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