Mercurial > hg > Papers > 2020 > soto-midterm

diff soto.bib @ 10:c162ca9b997e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add reference
author soto@cr.ie.u-ryukyu.ac.jp
date Tue, 15 Sep 2020 04:49:26 +0900
parents
children a8bc8c6b48bd
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/soto.bib	Tue Sep 15 04:49:26 2020 +0900
@@ -0,0 +1,4 @@
+@misc{cbc-gcc,
+    title = {Hoare Logic - 並列信頼研 mercurial repository},
+    howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/ryokka/HoareLogic/}},
+    note = {Accessed: 2020/2/9(Sun)},}