Cruz, D. d., Henriques, P. R., & Pinto, J. S. (2013). Interactive verification of safety-critical software.
Citação do estilo Chicago (17ª ed.)Cruz, Daniela da, Pedro Rangel Henriques, e Jorge Sousa Pinto. Interactive Verification of Safety-critical Software. 2013.
Citação MLA (8ª ed.)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.