Cita APA

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

Citación estilo Chicago

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

Cita MLA

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