@techreport{weko_186603_1,
   author	 = "岩本,侑也 and 大森,洋一 and 荒木,啓二郎",
   title	 = "ビッグデータにおける契約による設計を拡張した正当性検証手法の提案",
   year 	 = "2018",
   institution	 = "九州大学, 九州大学, 九州大学",
   number	 = "13",
   month	 = "mar"
}