APA-Zitierstil (7. Ausg.)

SpringerLink (Online service), Ogawa, M., & Hung, D. (2013). Automated technology for verification and analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Springer International Publishing.

Chicago-Zitierstil (17. Ausg.)

SpringerLink (Online service), Mizuhito Ogawa, und Dang Hung. Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Cham: Springer International Publishing, 2013.

MLA-Zitierstil (8. Ausg.)

SpringerLink (Online service), et al. Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Springer International Publishing, 2013.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.