119
click to vote
CSL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...