著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"VMCAI and Cortesi, Agostino","Verification, Model Checking, and Abstract Interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers",,Springer,2002,Lecture notes in computer science,,3540436316,,https://cir.nii.ac.jp/crid/1130000797586691712