Sciweavers

APLAS
2009
ACM

Weak updates and separation logic

14 years 6 months ago
Weak updates and separation logic
Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where APLAS
Authors Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai
Comments (0)