APA Citation

(2017). Automated technology for verification and analysis: 15th International Symposium, ATVA 2017, Pune, India, october 3-6, 2017, Proceedings.

Chicago Style Citation

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings. 2017.

MLA Citation

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings. 2017.

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