"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-319-46520-3","Automated Technology for Verification and Analysis","14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings","Cyrille Artho; Axel Legay; Doron Peled",2016,"1","https://doi.org/10.1007/978-3-319-46520-3",100,""