@techreport{weko_81076_1,
   author	 = "大貫,智洋",
   title	 = "制御ソフトウェアの仕様整合性検証技術の調査と分析",
   year 	 = "2012",
   institution	 = "三菱電機株式会社",
   number	 = "10",
   month	 = "mar"
}