Sousa, J. O. d., http://lattes.cnpq.br/2630113981577092, & https://orcid.org/0009-0002-9242-7345. (2023). LSVerifier: A BMC approach to identify security vulnerabilities in C open-source software projects.
Referência de acordo com a norma ChicagoSousa, Janislley Oliveira de, http://lattes.cnpq.br/2630113981577092, e https://orcid.org/0009-0002-9242-7345. LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-source Software Projects. 2023.
Referência de acordo com a norma MLASousa, Janislley Oliveira de, http://lattes.cnpq.br/2630113981577092, e https://orcid.org/0009-0002-9242-7345. LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-source Software Projects. 2023.
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.