Rybalchenko, Andrey Programming Logics, MPI for Informatics, Max Planck Society;
Beyer, D., Henzinger, T., Majumdar, R., & Rybalchenko, A. (2007). Invariant Synthesis for Combined Theories. In B. Cook, & A. Podelski (Eds.), Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007 (pp. 378-394). Berlin, Germany: Springer.