Sciweavers

162
Voted
POPL
2009
ACM
15 years 10 months ago
Local rely-guarantee reasoning
Xinyu Feng