1. Aloul, F., Ramani, A., Markov, I., Sakallah, K.: PBS: A backtrack search pseudo Boolean solver. In: Symposium on the theory and applications os satisfiability testing (SAT), pp. 346–353 (2002)
2. Lecture Notes in Computer Science;T. Ball,2001
3. Ball, T., Rajamani, S.K.: Generating abstract explanations of spurious counterexamples in C programs. Technical Report MSR-TR-2002-09, Microsoft Research, Redmond (January 2002)
4. Chaki, S., Clarke, E., Groce, A., Jha, S., Veith, H.: Modular verification of software components in C. In: International Conference on Software Engineering, ICSE (2003) (to appear)
5. Lecture Notes in Computer Science;E. Clarke,2003