Persistent URL of this record https://hdl.handle.net/1887/3264278
Documents
-
- Download
- 3477143
- Publisher's Version
- open access
- Full text at publishers site
In Collections
This item can be found in the following collections:
Completeness and complexity of reasoning about call-by-value in Hoare logic
- All authors
- Boer, F.S. de; Hiep, H.A.
- Date
- 2021-12-31
- Volume
- 43
- Issue
- 4