Silva Junior, B., 		Cavalheiro, S., & 		Foss, L.
(2020).
 GGasCT: Bringing Formal Methods to the Computational Thinking.
In <em>Companion Proceedings of the 9th Brazilian Congress on Computers in Education</em>, (pp. 83-83). Porto Alegre: SBC.
doi:10.5753/cbie.wcbie.2020.83