著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"CAV (Conference) and Gupta, Aarti and Malik, Sharad","Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings",,Springer,2008,Lecture notes in computer science,,9783540705437,,https://cir.nii.ac.jp/crid/1130000793922029440