# GGasCT: Bringing Formal Methods to the Computational Thinking

> Research article (Anais Estendidos do IX Congresso Brasileiro de Informática na Educação (CBIE 2020), 2020) · cited 11× · AI/ML

**Wikidata**: [openalex:W3110624041](https://www.wikidata.org/wiki/openalex:W3110624041)  
**Source**: https://4ort.xyz/entity/ggasct-bringing-formal-methods-to-the-computational-thinking