@techreport{weko_141249_1,
   author	 = "中村,風太 and 吉浦,紀晃",
   title	 = "分解証明法を利用したリアクティブシステム仕様の強充足可能性判定器の提案",
   year 	 = "2015",
   institution	 = "埼玉大学大学院理工学研究科, 埼玉大学大学院理工学研究科",
   number	 = "22",
   month	 = "mar"
}