Mukhopadhyay, Supratik Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Mukhopadhyay, S., & Podelski, A. (2002). An Algebraic Framework for Abstract Model Checking. In Abstraction, reformulation, and approximation: 5th International Symposium, SARA 2002 (pp. 152-169). Berlin, Germany: Springer.