Referência de acordo com a norma APA

Menezes, R. S., http://lattes.cnpq.br/9276676299919657, & https://orcid.org/0000-0002-6102-4343. (2021). Geração de casos de teste usando Bounded Model Checking.

Referência de acordo com a norma Chicago

Menezes, Rafael Sá, http://lattes.cnpq.br/9276676299919657, e https://orcid.org/0000-0002-6102-4343. Geração De Casos De Teste Usando Bounded Model Checking. 2021.

Referência de acordo com a norma MLA

Menezes, Rafael Sá, http://lattes.cnpq.br/9276676299919657, e https://orcid.org/0000-0002-6102-4343. Geração De Casos De Teste Usando Bounded Model Checking. 2021.

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.