Rybalchenko, Andrey Programming Logics, MPI for Informatics, Max Planck Society; International Max Planck Research School, MPI for Informatics, Max Planck Society;
Rybalchenko, A. (2002). A Model Checker based on Abstraction Refinement. Master Thesis, Universität des Saarlandes, Saarbrücken.