Referência de acordo com a norma APA

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

Referência de acordo com a norma Chicago

Custódio, Marcelo Monteiro, e http://lattes.cnpq.br/2691529717130089. Verificação De Modelos Uml De Software Embarcado Com Model Checking. 2008.

Referência de acordo com a norma MLA

Custódio, Marcelo Monteiro, e http://lattes.cnpq.br/2691529717130089. Verificação De Modelos Uml De Software Embarcado Com Model Checking. 2008.

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.