Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Rybalchenko, Andrey Programming Logics, MPI for Informatics, Max Planck Society;
Cook, B., Gotsman, A., Podelski, A., Rybalchenko, A., & Vardi, M. (2007). Proving that programs eventually do something good. In M. Hofmann, & M. Felleisen (Eds.), Conference Record of POPL® 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (pp. 265-276). New York, USA: ACM.