著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Haifa Verification Conference and Bloem, Roderick and Arbel, Eli","Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings",,Springer,2016,Lecture notes in computer science,,9783319490519,,https://cir.nii.ac.jp/crid/1130000794554039680