@techreport{weko_141268_1,
   author	 = "伊藤,信治 and 宮崎,邦彦 and 伊藤,翔",
   title	 = "SMTソルバを活用した業務ルールの等価性検証手法",
   year 	 = "2015",
   institution	 = "(株)日立製作所, (株)日立製作所, (株)日立製作所",
   number	 = "41",
   month	 = "mar"
}