Mercurial > hg > Papers > 2020 > soto-midterm

annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10
c162ca9b997e add reference
soto@cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
1 @misc{cbc-gcc,
c162ca9b997e add reference
soto@cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
2 title = {Hoare Logic - 並列信頼研 mercurial repository},
c162ca9b997e add reference
soto@cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
3 howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/ryokka/HoareLogic/}},
c162ca9b997e add reference
soto@cr.ie.u-ryukyu.ac.jp
parents:
diff changeset
4 note = {Accessed: 2020/2/9(Sun)},}