APA (7th ed.) Citation

(2008). Automated technology for verification and analysis: 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; Proceedings. Berlin [u.a.]: Springer, 2008.

MLA (9th ed.) Citation

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; Proceedings. Springer, 2008.