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

Files

bergstra_82_hoare_s_logic.pdf (1.96 MB)

Publication date

1982

Authors

Bergstra, J.A.

Chmielienska, A.

Tiuryn, J.

Document Type

Article in proceedings

Metadata

Show full item record

Collections

Utrecht University Repository

URI

https://dspace.library.uu.nl/handle/1874/12934