Citação norma APA

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

Citação Padrão Chicago

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

Citação MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.