Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Mukhopadhyay, Supratik Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, A. (2003). Software Model Checking with Abstraction Refinement. In Verification, model checking, and abstract interpretation: 4th International Conference, VMCAI 2003 (pp. 1-13). Berlin, Germany: Springer.