@techreport{weko_142726_1,
   author	 = "林,信宏 and 大森,洋一 and 日下部,茂 and 荒木,啓二郎",
   title	 = "SPIＮを用いたVDM仕様に対するモデル検査適用手法",
   year 	 = "2015",
   institution	 = "九州大学大学院システム情報科学研究院, 九州大学大学院システム情報科学研究院, 九州大学大学院システム情報科学研究院, 九州大学大学院システム情報科学研究院",
   number	 = "27",
   month	 = "jul"
}