Items where Author / Artist / Editor is "Yang, Hongseok"
 | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
Bornat, Richard 
ORCID: https://orcid.org/0000-0002-7261-0233, Calcagno, Cristiano and Yang, Hongseok
(2006)
Variables as resources in separation logic.
21st Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXI), Birmingham, UK. Proceedings in Electronic Notes in Theoretical Computer Science. Elsevier B.V., 155
.
pp. 247-276.
ISSN 1571-0661
[Article]
(doi:10.1016/j.entcs.2005.11.059)
