"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-319-68167-2","Automated Technology for Verification and Analysis","15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings","Deepak D'Souza; K. Narayan Kumar",2017,"1","https://doi.org/10.1007/978-3-319-68167-2",100,""