@techreport{weko_62725_1,
   author	 = "元安,優 and 山下,純一 and 北村,俊明",
   title	 = "論理設計検証テストプログラム生成ツールの開発と評価方式",
   year 	 = "2009",
   institution	 = "広島市立大学, 広島市立大学／現在，ローム株式会社, 広島市立大学",
   number	 = "29",
   month	 = "jul"
}