Rybalchenko, Andrey Group A. Rybalchenko, Max Planck Institute for Software Systems, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Rybalchenko, A., & Singh, R. (2009). Subsumer-First: Steering symbolic reachability analysis. In C. S. Pasareanu (Ed.), Model Checking Software (pp. 192-204). Berlin: Springer.