The Hoare Cube (via knl) — discussion

#formalmethods