APA Citation

(2010). Automated technology for verification and analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, october 11-14, 2011. Proceedings.

Chicago Style Citation

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings. 2010.

MLA Citation

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings. 2010.

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