APA Citation

(2019). Automated technology for verification and analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, october 28-31, 2019, proceedings.

Chicago Style Citation

Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. 2019.

MLA Citation

Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. 2019.

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