Cita APA (7th ed.)

SpringerLink (Online service), Bultan, T., & Hsiung, P. (2011). Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings. Springer eBooks..

Cita Chicago (17th ed.)

SpringerLink (Online service), Tevfik Bultan, i Pao-Ann Hsiung. "Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings." Springer EBooks. 2011.

Cita MLA (9th ed.)

SpringerLink (Online service), et al. "Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings." Springer EBooks., 2011.