A characterization of program equivalence in terms of Hoare's logic

Files

bergstra_81_characterization.pdf (322.83 KB)

Publication date

1981

Authors

Bergstra, J.A.

Terlouw., J.

Document Type

Article in proceedings

Metadata

Show full item record

Collections

Utrecht University Repository

URI

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