Mercurial > hg > Papers > 2020 > soto-midterm

comparison 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
comparison
equal deleted inserted replaced
9:2652bc4fc17f 10:c162ca9b997e
1 @misc{cbc-gcc,
2 title = {Hoare Logic - 並列信頼研 mercurial repository},
3 howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/ryokka/HoareLogic/}},
4 note = {Accessed: 2020/2/9(Sun)},}