APA (7th ed.) Citation

Ahrendt, W., Bubel, R., & Hähnle, R. (2009). Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands, 5846, 125.

Chicago Style (17th ed.) Citation

Ahrendt, Wolfgang, Richard Bubel, and Reiner Hähnle. "Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification." Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands 5846 (2009): 125.

MLA (9th ed.) Citation

Ahrendt, Wolfgang, et al. "Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification." Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands, vol. 5846, 2009, p. 125.