Silva Junior, B., 		Cavalheiro, S., & 		Foss, L.
2020 nov 24.  GGasCT: Bringing Formal Methods to the Computational Thinking. Anais Estendidos do Congresso Brasileiro de Informática na Educação (CBIE). [Online] :