APA (7th ed.) Citation

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.

Chicago Style (17th ed.) Citation

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.

MLA (8th ed.) Citation

Silva, Rovedy Aparecida Busquim e., et al. A Case Study on Model Checking and Deductive Verification Techniques of Safety-critical Software. 2012.