Some natural structures which fail to possess a sound and decidable hoare-like logic for their while-programs
DSpace/Manakin Repository
Some natural structures which fail to possess a sound and decidable hoare-like logic for their while-programs
Bergstra, J.A.; Tucker, J.V.
(1982) Theoretical Computer Science : the journal of the EATCS, volume 17, issue 3, pp. 303 - 315
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
ISSN: 0304-3975
Publisher: North-Holland Publishing Company
See
more statistics
about this item