Browse by Journal
 | See full list of headings |
Jump to: B
Number of items: 1.
B
Bornat, Richard 
ORCID: https://orcid.org/0000-0002-7261-0233, Calcagno, Cristiano and Parkinson, Matthew
(2006)
Variables as resource in Hoare logic.
In:
21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006), Seattle, Washington. Proceedings.
IEEE Computer Society., pp. 137-146.
ISBN 0-7695-2631-4.
[Book Section]
(doi:10.1109/LICS.2006.52)
