著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"CAV (Conference) and Majumdar, Rupak and Kunčak, Viktor","Computer aided verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings",,Springer,2017,Lecture notes in computer science,,"9783319633862,9783319633893",,https://cir.nii.ac.jp/crid/1130000793796905728