Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, A., Ball, T., & Rajamani, S. K. (2003). Boolean and Cartesian Abstraction for Model Checking C Programs. International Journal on Software Tools for Technology Transfer (STTT), 5, 1-15.