@techreport{weko_165297_1,
   author	 = "山本,椋太 and 吉田,則裕 and 竹田,彰彦 and 舘,伸幸 and 高田,広章",
   title	 = "組込みソフトウェアを対象とした状態遷移表抽出手法",
   year 	 = "2016",
   institution	 = "名古屋大学大学院情報科学研究科, 名古屋大学大学院情報科学研究科, 組込みシステム技術協会, 名古屋大学大学院情報科学研究科, 名古屋大学大学院情報科学研究科",
   number	 = "3",
   month	 = "jul"
}