A propositional version of Hoare's logic with modal operators

Files

bergstra_82_propositional.pdf (248.92 KB)

Publication date

1982

Authors

Bergstra, J.A.

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository

URI

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