APA Citation

(2016). Automated technology for verification and analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, october 17-20, 2016, proceedings.

Chicago Style Citation

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. 2016.

MLA Citation

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. 2016.

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