Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Jump to: B
Number of items: 1.

B

Bornat, Richard ORCID logoORCID: 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)

This list was generated on Sat Sep 24 04:55:21 2022 BST.