Two theorems on the completeness of Hoare's logic
DSpace/Manakin Repository
Two theorems on the completeness of Hoare's logic
Bergstra, J.A.; Tucker, J.V.
(1982) Information Processing Letters : a journal devoted to the rapid publication of short contributions in the field of information processing, volume 15, issue 4, pp. 143 - 149
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
ISSN: 0020-0190
Publisher: North-Holland Publishing Company
See
more statistics
about this item