APA (7th ed.) Citation

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 Style (17th ed.) Citation

Zimmerman, D.M, and 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 (9th ed.) Citation

Zimmerman, D.M, and 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.