Sciweavers

159
Voted
POPL
2005
ACM
15 years 10 months ago
Scalable error detection using boolean satisfiability
Yichen Xie, Alexander Aiken