Mercurial > hg > Papers > 2018 > ryokka-sigos
view Slide/fig/hoare-logic.xbb @ 0:a5facba1adbc
first
author | ryokka |
---|---|
date | Fri, 13 Apr 2018 18:07:04 +0900 |
parents | |
children | 907f967f662e |
line wrap: on
line source
%%Title: hoare-logic.pdf %%Creator: extractbb 20160307 %%BoundingBox: 0 0 580 76 %%HiResBoundingBox: 0.000000 0.000000 580.000000 76.000000 %%PDFVersion: 1.3 %%Pages: 1 %%CreationDate: Wed Feb 21 01:38:18 2018