Citação norma APA

Custódio, M. M., & http://lattes.cnpq.br/2691529717130089. (2015). Verificação de modelos uml de software embarcado com model checking. Universidade Federal do Amazonas.

Citação Padrão Chicago

Custódio, Marcelo Monteiro, and http://lattes.cnpq.br/2691529717130089. Verificação De Modelos Uml De Software Embarcado Com Model Checking. Universidade Federal do Amazonas, 2015.

Citação MLA

Custódio, Marcelo Monteiro, and http://lattes.cnpq.br/2691529717130089. Verificação De Modelos Uml De Software Embarcado Com Model Checking. Universidade Federal do Amazonas, 2015.

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