Referência de acordo com a norma APA

Pereira, P. A., & http://lattes.cnpq.br/2234775460028893. (2019). Verificação limitada de modelos baseada em SMT para programas CUDA.

Referência de acordo com a norma Chicago

Pereira, Phillipe Arantes, e http://lattes.cnpq.br/2234775460028893. Verificação Limitada De Modelos Baseada Em SMT Para Programas CUDA. 2019.

Referência de acordo com a norma MLA

Pereira, Phillipe Arantes, e http://lattes.cnpq.br/2234775460028893. Verificação Limitada De Modelos Baseada Em SMT Para Programas CUDA. 2019.

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.