Mercurial > hg > Papers > 2020 > ikkun-sigos

view paper/ikkun-sigos.pdf @ 11:452f0f1e582c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add model checking
author ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
date Thu, 07 May 2020 16:28:01 +0900
parents 7cbb0c656be3
children 2c17d3dc56f0
line wrap: on
line source

(binary:application/pdf)