@techreport{weko_27203_1,
   author	 = "松島,広直 and 北嶋,暁",
   title	 = "分割統治法による形式的機能検証のためのインタフェイスプロトコルに対するアサーションの分割",
   year 	 = "2005",
   institution	 = "大阪電気通信大学大学院工学研究科情報工学専攻, 大阪電気通信大学大学院工学研究科情報工学専攻",
   number	 = "8(2004-SLDM-118)",
   month	 = "jan"
}