著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"SAS and Hermenegildo, Manuel V. and Puebla, Germán","Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings",,Springer,2002,Lecture notes in computer science,,3540442359,,https://cir.nii.ac.jp/crid/1130000796199375744