TY  - GEN
DO  - 10.1007/978-3-030-31784-3
DO  - doi
T1  - Automated technology for verification and analysis :17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings /
AU  - Chen, Yu-Fang,
AU  - Cheng, Chih-Hong,
AU  - Esparza, Javier,
VL  - 11781
CN  - QA76.9.A96
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 915975
KW  - Automatic theorem proving
KW  - Artificial intelligence
SN  - 9783030317843
SN  - 3030317846
TI  - Automated technology for verification and analysis :17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-31784-3
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-31784-3
ER  -