Silva Junior, Braz, 		Cavalheiro, Simone, E 		Foss, Luciana.
" GGasCT: Bringing Formal Methods to the Computational Thinking" <em>Anais Estendidos do Congresso Brasileiro de Informática na Educação (CBIE)</em> [Online], (24 novembro 2020)