Wand, Mitchell A new incompleteness result for Hoare’s system. (English) Zbl 0364.68008 J. Assoc. Comput. Mach. 25, 168-175 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 22 Documents MSC: 68N01 General topics in the theory of software × Cite Format Result Cite Review PDF Full Text: DOI