Another incompleteness theorem of Hoare's logic

DSpace/Manakin Repository

Another incompleteness theorem of Hoare's logic
 
Bergstra, J.A.; Chmielienska, A.; Tiuryn, J.
(1983) Information and Control, volume 52, issue 2, pp. 159 - 171
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
 
ISSN: 0019-9958
Publisher: Academic Press, Inc.
 
 
See more statistics about this item