1. Lecture Notes in Computer Science;E. Clarke,2000
2. Ball, T., Majumdar, R., Millstein, T., Rajamani, S.K.: Automatic predicate abstraction of C programs. ACM SIGPLAN Notices 36(5), 203–213 (2001)
3. Lecture Notes in Computer Science;T.A. Henzinger,2003
4. Henzinger, T.A., Qadeer, S., Rajamani, S.K.: Decomposing refinement proofs using assume-guarantee reasoning. In: Proceedings of the 2000 International Conference on Computer-Aided Design (ICCAD 2000), pp. 245–252. IEEE Computer Society Press, Los Alamitos (2000)
5. Lecture Notes in Computer Science;J.M. Cobleigh,2003