102
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
redicate Abstraction Efficient: How to eliminate redundant predicates Edmund Clarke