Referência de acordo com a norma APA

Silva, R. A. B. e., Oliveira, J. M. P. d., & Pinto, J. S. (2012). A case study on model checking and deductive verification techniques of safety-critical software.

Referência de acordo com a norma Chicago

Silva, Rovedy Aparecida Busquim e., José Manuel Parente de Oliveira, e Jorge Sousa Pinto. A Case Study On Model Checking and Deductive Verification Techniques of Safety-critical Software. 2012.

Referência de acordo com a norma MLA

Silva, Rovedy Aparecida Busquim e., José Manuel Parente de Oliveira, e Jorge Sousa Pinto. A Case Study On Model Checking and Deductive Verification Techniques of Safety-critical Software. 2012.

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.