著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Haifa Verification Conference and Ur, Shmuel and Bin, Eyal and Wolfsthal, Yaron","Hardware and software verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005. revised selected papers",,Springer Berlin,2006,Lecture notes in computer science,,3540326049,,https://cir.nii.ac.jp/crid/1130282269394179712