Cita APA (7a ed.)

De Caso, G., Garbervetsky, D., & Gorín, D. Integrated program verification tools in education.

Cita Chicago Style (17a ed.)

De Caso, G., D. Garbervetsky, y D. Gorín. Integrated Program Verification Tools in Education.

Cita MLA (8a ed.)

De Caso, G., et al. Integrated Program Verification Tools in Education.