Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Rybalchenko, Andrey Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, A., & Rybalchenko, A. (2004). Transition Invariants. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004 (pp. 32-41). Los Alamitos, USA: IEEE.