@techreport{weko_197967_1,
   author	 = "内藤,駿人 and 横川,智教 and 天嵜,聡介 and 阿萬,祐久 and 有本,和民",
   title	 = "ビジュアルプログラミングを用いたNuSMVのモデル生成支援環境",
   year 	 = "2019",
   institution	 = "岡山県立大学, 岡山県立大学, 岡山県立大学, 愛媛大学総合情報メデイアセンター, 岡山県立大学",
   number	 = "6",
   month	 = "jul"
}