Sciweavers

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