Mercurial > hg > Papers > 2020 > soto-midterm

view 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 source

@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)},}