Cruz, D. d., Frade, M. J., & Pinto, J. S. (2012). Verification conditions for single-assignment programs.
Citação do estilo Chicago (17ª ed.)Cruz, Daniela da, M. J. Frade, e Jorge Sousa Pinto. Verification Conditions for Single-assignment Programs. 2012.
Citação MLA (8ª ed.)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.