Sciweavers

POPL
2009
ACM

Local rely-guarantee reasoning

15 years 4 days 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)