@article{weko_65016_1,
   author	 = "丸山,宏 and 宗藤,誠治 and 横手,靖彦 and 篠崎,郁生",
   title	 = "安全で安心できるe-社会を実現するソフトウェアとシステム技術：3.ソフトウェア完全性検証技術",
   journal	 = "情報処理",
   year 	 = "2004",
   volume	 = "45",
   number	 = "4",
   pages	 = "354--359",
   month	 = "apr"
}