Silva Junior, B., 		Cavalheiro, S., & 		Foss, L.
(2020).
 GGasCT: Bringing Formal Methods to the Computational Thinking.
In <em>Anais Estendidos do IX Congresso Brasileiro de Informática na Educação</em>, (pp. 83-83). Porto Alegre: SBC.
doi:10.5753/cbie.wcbie.2020.83