SILVA JUNIOR, Braz Araujo da; 						CAVALHEIRO, Simone André da Costa; 						FOSS, Luciana.
 GGasCT: Bringing Formal Methods to the Computational Thinking. <em>In</em>: CONCURSO ALEXANDRE DIRENE (CTD-IE) - DISSERTAÇÕES DE MESTRADO - CONGRESSO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO (CBIE), 9.	, 2020, Online.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2020
.
 p. 83-83. 
		DOI: <a href="https://doi.org/10.5753/cbie.wcbie.2020.83">https://doi.org/10.5753/cbie.wcbie.2020.83</a>.