Hoare's logic is incomplete when it does not have to be

DSpace/Manakin Repository

Hoare's logic is incomplete when it does not have to be
 
Bergstra, J.A.; Chmielienska, A.; Tiuryn, J.
(1982) Lecture Notes in Computer Science, volume 131, pp. 9 - 23
(Article in proceedings)
Download/Full Text
Open Access version via Utrecht University Repository
 
ISSN: 0302-9743
Publisher: Springer Verlag
 
See more statistics about this item