Silva Junior, B., 		Cavalheiro, S., & 		Foss, L.
2020 Nov 24.  GGasCT: Bringing Formal Methods to the Computational Thinking. Companion Proceedings of the Brazilian Congress on Computers in Education (CBIE). [Online] :