Mercurial > hg > Papers > 2024 > moririn-thesis
comparison Report/final/text/reference.tex @ 0:eff495555729
add findRBTtest
| author | mori |
|---|---|
| date | Mon, 22 Jan 2024 10:27:20 +0900 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| -1:000000000000 | 0:eff495555729 |
|---|---|
| 1 \begin{thebibliography}{99} | |
| 2 \bibitem{HoareLogic} Hoare logic - 並列信頼研 mercurial repository, http://www. | |
| 3 cr.ie.u-ryukyu.ac.jp/hg/Members/ryokka/HoareLogic/, | |
| 4 Accessed: 2020/09/10 | |
| 5 | |
| 6 | |
| 7 \bibitem{sotoma} 外間政尊, “Continuation based c での hoare logic を用いた仕様記述と検証,” M.S. thesis, 琉球大学 大学院理工学研究科情報工学専攻, 2019. | |
| 8 | |
| 9 \bibitem{agdawiki}The agda wiki, http://wiki.portal.chalmers.se/agda/pmwiki. | |
| 10 php, Accessed: 2023/09/10. | |
| 11 | |
| 12 \bibitem{agdadocument}Welcome to agda’ s documentation! — agda latest documentation, http : / / agda . readthedocs . io / en / latest/, Accessed: | |
| 13 2023/09/10. | |
| 14 | |
| 15 \bibitem{ueti}上地悠斗, "GearsAgdaによるLeft Learning Red Black Tree の検証" 琉球大学工学部工学科知能情報コース2020 | |
| 16 \end{thebibliography} |