@techreport{weko_90496_1,
   author	 = "井上心太 and 大森洋一 and 荒木啓二郎",
   title	 = "ツールによる形式モデルの成熟度測定法の提案",
   year 	 = "2013",
   institution	 = "九州大学大学院システム情報科学府, 九州大学大学院システム情報科学研究院, 九州大学大学院システム情報科学研究院",
   number	 = "29",
   month	 = "mar"
}