APA-Zitierstil (7. Ausg.)

Zimmerman, D., & Kiniry, J. (2009, August). A Verification-Centric Software Development Process for Java. 2009 Ninth International Conference on Quality Software, 76-85. https://doi.org/10.1109/QSIC.2009.18

Chicago-Zitierstil (17. Ausg.)

Zimmerman, D.M, und J.R Kiniry. "A Verification-Centric Software Development Process for Java." 2009 Ninth International Conference on Quality Software Aug. 2009: 76-85. https://doi.org/10.1109/QSIC.2009.18.

MLA-Zitierstil (9. Ausg.)

Zimmerman, D.M, und J.R Kiniry. "A Verification-Centric Software Development Process for Java." 2009 Ninth International Conference on Quality Software, Aug. 2009, pp. 76-85, https://doi.org/10.1109/QSIC.2009.18.