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