著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"CAV (Conference) and Hunt, Warren A. and Somenzi, Fabio","Computer aided verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings",,Springer,2003,Lecture notes in computer science,,3540405240,,https://cir.nii.ac.jp/crid/1130282269082129792