Referência de acordo com a norma APA

Melo, R. W. R. d., & http://lattes.cnpq.br/8935199769991902. (2017). Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes.

Referência de acordo com a norma Chicago

Melo, Raimundo Williame Rocha de, e http://lattes.cnpq.br/8935199769991902. Verificação De Programas Embarcados ANSI-C Baseada Em Indução Matemática E Invariantes. 2017.

Referência de acordo com a norma MLA

Melo, Raimundo Williame Rocha de, e http://lattes.cnpq.br/8935199769991902. Verificação De Programas Embarcados ANSI-C Baseada Em Indução Matemática E Invariantes. 2017.

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.