APA (7th ed.) Citation

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.

Chicago Style (17th ed.) Citation

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.

MLA (8th ed.) Citation

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