Mercurial > hg > Papers > 2020 > ryokka-master

view paper/history.bib @ 5:196ba119ca89

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix, and add mindmap->pdf
author ryokka
date Mon, 03 Feb 2020 21:47:43 +0900
parents 41a936510fd0
children d30593612a38
line wrap: on
line source

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