Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard. Integrating Model Checking and Theorem Proving for Relational Reasoning. In Rudolf Berghammer, Bernhard Möller, Georg Struth, editors, Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape. Volume 3051 of Lecture Notes in Computer Science, pages 21-33, Springer, 2003. [doi]
Abstract is missing.