著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany) and Nipkow, Tobias and Grumberg, Orna and Hauptmann, Benedikt",Software safety and security : tools for analysis and verification,,IOS Press,2012,NATO science for peace and security series,,9781614990277,,https://cir.nii.ac.jp/crid/1130000796115815680