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. (2007). Proving Thread Termination. In J. Ferrante, & K. S. McKinley (Eds.), PLDI'07: Proceedings of the 2007 Conference on Programming Language Design and Implementation (pp. 320-330). New York, NY, USA: ACM.