Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Ball, T., Podelski, A., & Rajamani, S. K. (2001). Boolean and Cartesian Abstraction for Model Checking C Programs. In T. Margaria, & W. Yi (Eds.), Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2001) (pp. 268-283). Berlin, Germany: Springer.