APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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