Delzanno, Giorgio Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Delzanno, G., & Podelski, A. (2001). Constraint-based Deductive Model Checking. International Journal on Software Tools for Technology Transfer (STTT), 3(3), 250-270.