Citação norma APA

Sousa, F. R. M., http://lattes.cnpq.br/4475065926209027, & https://orcid.org/0000-0001-9420-9056. (2020). Formal verification to ensuring the memory safety of C++ Programs. Universidade Federal do Amazonas.

Citação Padrão Chicago

Sousa, Felipe Rodrigues Monteiro, http://lattes.cnpq.br/4475065926209027, and https://orcid.org/0000-0001-9420-9056. Formal Verification to Ensuring the Memory Safety of C++ Programs. Universidade Federal do Amazonas, 2020.

Citação MLA

Sousa, Felipe Rodrigues Monteiro, http://lattes.cnpq.br/4475065926209027, and https://orcid.org/0000-0001-9420-9056. Formal Verification to Ensuring the Memory Safety of C++ Programs. Universidade Federal do Amazonas, 2020.

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