Citação norma APA

Gadelha, M. Y. R., & http://lattes.cnpq.br/5172660162494409. (2015). Verificação baseada em indução matemática para programas C++. Universidade Federal do Amazonas.

Citação Padrão Chicago

Gadelha, Mikhail Yasha Ramalho, and http://lattes.cnpq.br/5172660162494409. Verificação Baseada Em Indução Matemática Para Programas C++. Universidade Federal do Amazonas, 2015.

Citação MLA

Gadelha, Mikhail Yasha Ramalho, and http://lattes.cnpq.br/5172660162494409. Verificação Baseada Em Indução Matemática Para Programas C++. Universidade Federal do Amazonas, 2015.

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