Referência de acordo com a norma APA

BARBOSA, A. E. V. (2007). Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.

Referência de acordo com a norma Chicago

BARBOSA, Ana Emília Victor. Detecção Automática De Violações De Propriedades De Sistemas Concorrentes Em Tempo De Execução. 2007.

Referência de acordo com a norma MLA

BARBOSA, Ana Emília Victor. Detecção Automática De Violações De Propriedades De Sistemas Concorrentes Em Tempo De Execução. 2007.

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.