B. Silva Junior, S. Cavalheiro, and L. Foss.
" GGasCT: Bringing Formal Methods to the Computational Thinking", in <em>Workshops Proceedings of the 9th Brazilian Congress on Computers in Education</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>.