著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
,クローズアップ：「頼れるシステム」への挑戦 設計・検証・説明の術を持て,日経コンピュータ = Nikkei computer,02854619,東京 : 日経BP,2013-11-28,,848,66-71,https://cir.nii.ac.jp/crid/1520290882223081088,