Citação norma APA

Cruz, D. d., Frade, M. J., & Pinto, J. S. (2012). Verification conditions for single-assignment programs.

Citação norma Chicago

Cruz, Daniela da, M. J. Frade, and Jorge Sousa Pinto. Verification Conditions for Single-assignment Programs. 2012.

Citação norma MLA

Cruz, Daniela da, et al. Verification Conditions for Single-assignment Programs. 2012.

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