APA Citation

(2015). Automated technology for verification and analysis: 13th International Symposium, ATVA 2015, Shanghai, China, october 12-15, 2015, proceedings.

Chicago Style Citation

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. 2015.

MLA Citation

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. 2015.

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