APA (7th ed.) Citation

ATVA (Symposium) Tokyo, Japan), SpringerLink (Online service), & Namjoshi, K. S. (2007). Automated technology for verification and analysis: 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings. Springer. https://doi.org/10.1007/978-3-540-75596-8

Chicago Style (17th ed.) Citation

ATVA (Symposium) Tokyo, Japan), SpringerLink (Online service), and Kedar S. Namjoshi. Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : Proceedings. Berlin ; New York: Springer, 2007. https://doi.org/10.1007/978-3-540-75596-8.

MLA (9th ed.) Citation

ATVA (Symposium) Tokyo, Japan), et al. Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : Proceedings. Springer, 2007. https://doi.org/10.1007/978-3-540-75596-8.