Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Rybalchenko, Andrey Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, A., & Rybalchenko, A. (2007). Transition Predicate Abstraction and Fair Termination. ACM Transactions on Programming Languages and Systems, 29(3), 15.1-15.31. doi:10.1145/1232420.1232422.