Citação norma APA

Sousa, J. O. d., http://lattes.cnpq.br/2630113981577092, & https://orcid.org/0009-0002-9242-7345. (2024). LSVerifier: A BMC approach to identify security vulnerabilities in C open-source software projects. Universidade Federal do Amazonas.

Citação Padrão Chicago

Sousa, Janislley Oliveira de, http://lattes.cnpq.br/2630113981577092, and https://orcid.org/0009-0002-9242-7345. LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-source Software Projects. Universidade Federal do Amazonas, 2024.

Citação MLA

Sousa, Janislley Oliveira de, http://lattes.cnpq.br/2630113981577092, and https://orcid.org/0009-0002-9242-7345. LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-source Software Projects. Universidade Federal do Amazonas, 2024.

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