APA Citation

(2010). Automated technology for verification and analysis: 8th International Symposium, ATVA 2010, Singapore, september 21-24, 2010. Proceedings.

Chicago Style Citation

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. 2010.

MLA Citation

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. 2010.

Warning: These citations may not always be 100% accurate.