著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Clarke, Edmund and CAV (Conference) and Kurshan, R. P.","Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings",,Springer-Verlag,1991,Lecture notes in computer science,,"3540544771,0387544771",,https://cir.nii.ac.jp/crid/1130000795534260864