著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"ATVA and Finkbeiner, Bernd and Pu, G. (Geguang) and Zhang, Lijun","Automated technology for verification and analysis : 13th international symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings",,Springer,2015,Lecture notes in computer science,,9783319249520,,https://cir.nii.ac.jp/crid/1130000794530889600