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