APA (7th ed.) Citation

ATVA (Symposium) Taipei, Taiwan), SpringerLink (Online service), Peled, D. A., & Tsay, Y. (2005). Automated technology for verification and analysis: Third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings. Springer. https://doi.org/10.1007/11562948

Chicago Style (17th ed.) Citation

ATVA (Symposium) Taipei, Taiwan), SpringerLink (Online service), Doron A. Peled, and Yih-Kuen Tsay. Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : Proceedings. Berlin ; New York: Springer, 2005. https://doi.org/10.1007/11562948.

MLA (9th ed.) Citation

ATVA (Symposium) Taipei, Taiwan), et al. Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : Proceedings. Springer, 2005. https://doi.org/10.1007/11562948.