著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"ATVA and D'Souza, Deepak and Kumar, K. Narayan","Automated technology for verification and analysis : 15th international symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings",,Springer,2017,Lecture notes in computer science,,9783319681665,,https://cir.nii.ac.jp/crid/1130282270703870080