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
Citace podle Chicago (17th ed.)Zimmerman, D.M, a 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.
Citace podle MLA (9th ed.)Zimmerman, D.M, a 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..