APA (7th ed.) Citation

Caso, G., Garbervetsky, D., & Gorín, D. (2013). Integrated program verification tools in education. Software: Practice & Experience, 43(4), 403. https://doi.org/10.1002/spe.2143

Chicago Style (17th ed.) Citation

Caso, Guido, Diego Garbervetsky, and Daniel Gorín. "Integrated Program Verification Tools in Education." Software: Practice & Experience 43, no. 4 (2013): 403. https://doi.org/10.1002/spe.2143.

MLA (9th ed.) Citation

Caso, Guido, et al. "Integrated Program Verification Tools in Education." Software: Practice & Experience, vol. 43, no. 4, 2013, p. 403, https://doi.org/10.1002/spe.2143.