Citação norma APA

Silva, R. A. B. e., Arai, N. N., Burgareli, L. A., Oliveira, J. M. P. d., & Pinto, J. S. (2016). Formal verification with Frama-C: A case study in the space software domain.

Citação norma Chicago

Silva, Rovedy Aparecida Busquim e., Nanci Naomi Arai, Luciana Akemi Burgareli, Jose Maria Parente de Oliveira, and Jorge Sousa Pinto. Formal Verification with Frama-C: A Case Study in the Space Software Domain. 2016.

Citação norma MLA

Silva, Rovedy Aparecida Busquim e., et al. Formal Verification with Frama-C: A Case Study in the Space Software Domain. 2016.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.