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 do estilo Chicago (17ª ed.)Silva, Rovedy Aparecida Busquim e., Nanci Naomi Arai, Luciana Akemi Burgareli, Jose Maria Parente de Oliveira, e Jorge Sousa Pinto. Formal Verification with Frama-C: A Case Study in the Space Software Domain. 2016.
Citação MLA (8ª ed.)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.