Sciweavers

159
Voted
POPL
2009
ACM
15 years 9 months ago
Local rely-guarantee reasoning
Xinyu Feng