@techreport{weko_90665_1,
   author	 = "張,漢明 and 野呂,昌満 and 沢田,篤史 and 吉田,敦 and 蜂巣,吉成 and 横森,励士",
   title	 = "アーキテクチャ指向開発における形式手法の適用に関する考察",
   year 	 = "2013",
   institution	 = "南山大学情報理工学部ソフトウェア工学科, 南山大学情報理工学部ソフトウェア工学科, 南山大学情報理工学部ソフトウェア工学科, 南山大学情報理工学部ソフトウェア工学科, 南山大学情報理工学部ソフトウェア工学科, 南山大学情報理工学部ソフトウェア工学科",
   number	 = "11",
   month	 = "mar"
}