SILVA JUNIOR, Braz Araujo da; 						CAVALHEIRO, Simone André da Costa; 						FOSS, Luciana.
 GGasCT: Bringing Formal Methods to the Computational Thinking.
<strong>Anais Estendidos do Congresso Brasileiro de Informática na Educação (CBIE)</strong>, [S.l.], p. 83-83, nov. 2020.
ISSN 0000-0000.
Disponível em: &lt;<a href="https://sol.sbc.org.br/index.php/cbie_estendido/article/view/13029" target="_new">https://sol.sbc.org.br/index.php/cbie_estendido/article/view/13029</a>&gt;. Acesso em: 18 maio 2024.
doi: <a href="https://doi.org/10.5753/cbie.wcbie.2020.83">https://doi.org/10.5753/cbie.wcbie.2020.83</a>.