Silva Junior, Braz, Simone André da Costa Cavalheiro, & Luciana Foss.
" GGasCT: Bringing Formal Methods to the Computational Thinking." <em>Companion Proceedings of the Brazilian Congress on Computers in Education (CBIE)</em> [Online], (2020): 83-83. Web. 18 May. 2024