APA (7th ed.) Citation

Winter, V., Reinke, C., & Guerrero, J. (2016). Certifying a java type resolution function using program transformation, annotation, and reflection. Software Quality Journal, 24(1), 115-135. https://doi.org/10.1007/s11219-014-9262-2

Chicago Style (17th ed.) Citation

Winter, Victor, Carl Reinke, and Jonathan Guerrero. "Certifying a Java Type Resolution Function Using Program Transformation, Annotation, and Reflection." Software Quality Journal 24, no. 1 (2016): 115-135. https://doi.org/10.1007/s11219-014-9262-2.

MLA (9th ed.) Citation

Winter, Victor, et al. "Certifying a Java Type Resolution Function Using Program Transformation, Annotation, and Reflection." Software Quality Journal, vol. 24, no. 1, 2016, pp. 115-135, https://doi.org/10.1007/s11219-014-9262-2.