@techreport{weko_189373_1,
   author	 = "外間,政尊 and 河野,真治",
   title	 = "GearsOSのAgdaによる記述と検証",
   year 	 = "2018",
   institution	 = "琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科",
   number	 = "5",
   month	 = "may"
}