著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"VMCAI and Cook, Byron and Podelski, Andreas","Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007 Nice, France, January 14-16, 2007 : proceedings",,Springer,2007,Lecture notes in computer science,,9783540697350,,https://cir.nii.ac.jp/crid/1130000797438990848