Silva Junior, B., 		Cavalheiro, S., & 		Foss, L.
(2020).
 GGasCT: Bringing Formal Methods to the Computational Thinking.
<em>Companion Proceedings Of The Brazilian Congress On Computers In Education (CBIE), </em>, 83-83.
doi:10.5753/cbie.wcbie.2020.83