Sciweavers

ESOP
2008
Springer

Oracle Semantics for Concurrent Separation Logic

14 years 2 months ago
Oracle Semantics for Concurrent Separation Logic
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where ESOP
Authors Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli
Comments (0)