@techreport{weko_183586_1,
   author	 = "矢野,龍 and 上出,哲広",
   title	 = "階層モデル検査: 論理，翻訳および具体例",
   year 	 = "2017",
   institution	 = "帝京大学理工学部ヒューマン情報システム学科, 帝京大学理工学部情報電子工学科",
   number	 = "15",
   month	 = "sep"
}