著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"CPP 2012 and Hawblitzel, Chris and Miller, Dale","Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings",,Springer,2012,Lecture notes in computer science,,9783642353079,,https://cir.nii.ac.jp/crid/1130000794765310336