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