@techreport{weko_90493_1,
   author	 = "金丸将平 and 岡部正臣 and 山本大輔 and 三善浩司 and 青山慎二 and 松村成樹 and 荒木啓二郎 and 日下部茂 and 大森洋一 and 吉武浩 and 岩崎孝司 and 佐藤義治 and 山田浩 and 日下部雄三",
   title	 = "規範的チーム開発プロセスTSPiに基づく産学連携PBLの事例報告―OpenFlowコントローラ開発への形式手法導入―",
   year 	 = "2013",
   institution	 = "現在，九州大学大学院システム情報科学府, 現在，九州大学大学院システム情報科学府, 現在，九州大学大学院システム情報科学府, 現在，九州大学大学院システム情報科学府, 現在，九州大学工学部, 現在，九州大学工学部, 九州大学システム情報科学研究院, 九州大学システム情報科学研究院, 九州大学システム情報科学研究院, 富士通九州ネットワークテクノロジーズ株式会社, 富士通九州ネットワークテクノロジーズ株式会社, 富士通九州ネットワークテクノロジーズ株式会社, 富士通九州ネットワークテクノロジーズ株式会社, 富士通九州ネットワークテクノロジーズ株式会社",
   number	 = "26",
   month	 = "mar"
}