Referência de acordo com a norma APA

Almeida, V. A. d. (2016). WPTrans: Um assistente para verificação de programas em Frama-C.

Referência de acordo com a norma Chicago

Almeida, Vítor Alcântara de. WPTrans: Um Assistente Para Verificação De Programas Em Frama-C. 2016.

Referência de acordo com a norma MLA

Almeida, Vítor Alcântara de. WPTrans: Um Assistente Para Verificação De Programas Em Frama-C. 2016.

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.