@techreport{weko_183931_1,
   author	 = "小林,努",
   title	 = "［博士論文紹介］Supporting Planning and Refactoring of Refinement Structure of Event-B Models",
   year 	 = "2017",
   institution	 = "国立情報学研究所",
   number	 = "1",
   month	 = "nov"
}