Silva Junior, Braz, 		Cavalheiro, Simone, AND 		Foss, Luciana.
" GGasCT: Bringing Formal Methods to the Computational Thinking" <em>Companion Proceedings of the Brazilian Congress on Computers in Education (CBIE)</em> [Online], (24 November 2020)