The axiomatic semantics of while programs based on Hoare's logic

Files

bergstra_84_axiomatic_semantics.pdf (1.23 MB)

Publication date

1984

Authors

Bergstra, J.A.

Tucker, J.V.

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository

URI

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