Sciweavers

159
Voted
POPL
2009
ACM

Local rely-guarantee reasoning

15 years 9 months ago
Local rely-guarantee reasoning
Xinyu Feng
Added 22 Nov 2009
Updated 22 Nov 2009
Type Conference
Year 2009
Where POPL
Authors Xinyu Feng
Comments (0)