@techreport{weko_218155_1,
   author	 = "上地,悠斗 and 河野,真治",
   title	 = "Gears Agda上のモデル検査の形式化",
   year 	 = "2022",
   institution	 = "琉球大学大学院理工学研究科工学専攻知能情報プログラム, 琉球大学大学工学部工学科知能情報コース",
   number	 = "13",
   month	 = "may"
}