Citação 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.

Citação norma Chicago

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

Citação norma MLA

Silva, Rovedy Aparecida Busquim e., et al. 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.