著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"NSV (Workshop) (9th : 2016 : Toronto, Canada) and Bogomolov, Sergiy and Martel, Matthieu and Prabhakar, Pavithra","Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers",,Springer,2017,Lecture notes in computer science,,9783319542911,,https://cir.nii.ac.jp/crid/1130000793863113856