Rybalchenko, Andrey Programming Logics, MPI for Informatics, Max Planck Society;
Beyer, D., Henzinger, T., Majumdar, R., & Rybalchenko, A. (2007). Path Invariants. In J. Ferrante, & K. S. McKinley (Eds.), PLDI'07: Proceedings of the 2007 Conference on Programming Language Design and Implementation (pp. 300-309). New York, NY, USA: ACM.