Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Rybalchenko, Andrey Programming Logics, MPI for Informatics, Max Planck Society;
Cook, B., Podelski, A., & Rybalchenko, A. (2006). Terminator: Beyond Safety. In Computer aided verification : 18th International Conference, CAV 2006 (pp. 415-418). Berlin, Germany: Springer.