@techreport{weko_74160_1,
   author	 = "山本,修一郎 and 芳川,大佑",
   title	 = "ソフトウェア高安全性分析技術の現状と課題",
   year 	 = "2011",
   institution	 = "名古屋大学情報連携統括本部情報戦略室, 名古屋大学工学部電気電子・情報工学科",
   number	 = "9",
   month	 = "may"
}