著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"SAS and Cousot, Radhia","Static analysis : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings",,Springer,2003,Lecture notes in computer science,,3540403256,,https://cir.nii.ac.jp/crid/1130000795800543488