Referência de acordo com a 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.

Referência de acordo com a norma Chicago

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

Referência de acordo com a norma MLA

Sousa, Felipe Rodrigues Monteiro, http://lattes.cnpq.br/4475065926209027, e https://orcid.org/0000-0001-9420-9056. Formal Verification to Ensuring the Memory Safety of C++ Programs. 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.