Referência de acordo com a norma APA

Silva Júnior, B. A. d. (2020). GGasCT: Bringing formal methods to the computational thinking.

Referência de acordo com a norma Chicago

Silva Júnior, Braz Araujo da. GGasCT: Bringing Formal Methods to the Computational Thinking. 2020.

Referência de acordo com a norma MLA

Silva Júnior, Braz Araujo da. GGasCT: Bringing Formal Methods to the Computational Thinking. 2020.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma, para gerenciar as citações recomenda-se a utilização do software Zotero , que permite o upload automático das referências do Oasisbr.