Mercurial > hg > Papers > 2022 > soto-sigos
view Paper/fig/hoare_cg_dg.xbb @ 7:6a61c1eb0205
これを提出した
author | soto <soto@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 12 May 2022 15:44:39 +0900 |
parents | 14a0e409d574 |
children |
line wrap: on
line source
%%Title: fig/hoare_cg_dg.pdf %%Creator: extractbb 20190225 %%BoundingBox: 1 1467 1770 2106 %%HiResBoundingBox: 0.586107 1466.935000 1770.000000 2106.000000 %%PDFVersion: 1.3 %%Pages: 1 %%CreationDate: Sun Feb 9 20:11:31 2020