Citação norma APA

Cruz, D. d., Henriques, P. R., & Pinto, J. S. (2013). Interactive verification of safety-critical software.

Citação norma Chicago

Cruz, Daniela da, Pedro Rangel Henriques, and Jorge Sousa Pinto. Interactive Verification of Safety-critical Software. 2013.

Citação norma MLA

Cruz, Daniela da, et al. Interactive Verification of Safety-critical Software. 2013.

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