TY  - GEN
DO  - 10.1007/978-3-319-46520-3
DO  - doi
T1  - Automated technology for verification and analysis :14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
AU  - Artho, Cyrille,
AU  - Legay, Axel,
AU  - Peled, Doron A.,
VL  - 9938
CN  - QA76.9.A96
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 763375
KW  - Automatic theorem proving
KW  - Artificial intelligence
SN  - 9783319465203
SN  - 3319465201
TI  - Automated technology for verification and analysis :14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-46520-3
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-46520-3
ER  -