Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Jensen, K., & Podelski, A. (Eds.). (2004). Tools and algorithms for the construction and analysis of systems: 10th International Conference, TACAS 2004; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004. Berlin: Springer.