Sciweavers

Share
POPL
2008
ACM

Separation logic, abstraction and inheritance

9 years 3 months ago
Separation logic, abstraction and inheritance
Matthew J. Parkinson, Gavin M. Bierman
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2008
Where POPL
Authors Matthew J. Parkinson, Gavin M. Bierman
Comments (0)
books