Two theorems on the completeness of Hoare's logic
Publication date
1982
Authors
Bergstra, J.A.
Tucker, J.V.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
License
No license information available