Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, A. (2000). Model Checking as Constraint Solving. In J. Palsberg (Ed.), Proceedings of the 7th International Symposium on Static Analysis (SAS-00) (pp. 221-237). Berlin, Germany: Springer.