CiteSeerX — Related by cluster: Hoare's Logic in the LF

Hoare's Logic in the LF (1987)

Cached

Download Links

[turing.une.edu.au]

by Ian Mason

Citations:

18 - 4 self

Document Versions

Hoare's Logic in the LF –Ian Mason — 1987