APA (7th ed.) Citation

ATVA (Symposium) Beijing, China), SpringerLink (Online service), Graf, S., & Zhang, W. (2006). Automated technology for verification and analysis: 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings. Springer. https://doi.org/10.1007/11901914

Chicago Style (17th ed.) Citation

ATVA (Symposium) Beijing, China), SpringerLink (Online service), Susanne Graf, and Wenhui Zhang. Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : Proceedings. Berlin ; New York: Springer, 2006. https://doi.org/10.1007/11901914.

MLA (9th ed.) Citation

ATVA (Symposium) Beijing, China), et al. Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : Proceedings. Springer, 2006. https://doi.org/10.1007/11901914.