Citação norma APA
Rocha, H. O., & http://lattes.cnpq.br/2284500318304899. (2016). Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking. Universidade Federal do Amazonas.
Citação Padrão ChicagoRocha, Herbert Oliveira, and http://lattes.cnpq.br/2284500318304899. Verificação De Sistemas De Software Baseada Em Transformações De Código Usando Bounded Model Checking. Universidade Federal do Amazonas, 2016.
Citação MLARocha, Herbert Oliveira, and http://lattes.cnpq.br/2284500318304899. Verificação De Sistemas De Software Baseada Em Transformações De Código Usando Bounded Model Checking. Universidade Federal do Amazonas, 2016.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.