@techreport{weko_62657_1,
   author	 = "宮永,照二",
   title	 = "フォーマルメソッド：分散開発への応用例",
   year 	 = "2009",
   institution	 = "独立行政法人産業技術総合研究所",
   number	 = "6",
   month	 = "jun"
}