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.