TY  - GEN
AU  - D'Souza, Deepak,
AU  - Narayan Kumar, K.
CN  - QA76.9.A96
DO  - 10.1007/978-3-319-68167-2
DO  - doi
ID  - 801148
KW  - Automatic theorem proving
KW  - Artificial intelligence
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-68167-2
N1  - International conference proceedings.
SN  - 9783319681672
SN  - 3319681672
T1  - Automated technology for verification and analysis :15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings /
TI  - Automated technology for verification and analysis :15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-68167-2
VL  - 10482
ER  -