Mercurial > hg > Papers > 2019 > ryokka-sigss
view Paper/pic/hoare-logic.xbb @ 5:493983f2c9db
fix abstruct and more
author | ryokka |
---|---|
date | Tue, 18 Dec 2018 00:12:40 +0900 |
parents | df1552e4ac7a |
children |
line wrap: on
line source
%%Title: ./pic/hoare-logic.pdf %%Creator: extractbb 20140317 %%BoundingBox: 0 0 580 76 %%HiResBoundingBox: 0.000000 0.000000 580.000000 76.000000 %%PDFVersion: 1.3 %%Pages: 1 %%CreationDate: Mon Dec 17 19:16:38 2018