@techreport{weko_197968_1,
   author	 = "松本,明 and 横川,智教 and 天嵜,聡介 and 阿萬,祐久 and 有本,和民",
   title	 = "階層的な制御構造をもつシーケンス図間の整合性検証手法の開発",
   year 	 = "2019",
   institution	 = "岡山県立大学, 岡山県立大学, 岡山県立大学, 愛媛大学総合情報メデイアセンター, 岡山県立大学",
   number	 = "7",
   month	 = "jul"
}