Patrice Godefroid, Shuvendu K. Lahiri. From Program to Logic: An Introduction. In Bertrand Meyer, Martin Nordio, editors, Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures. Volume 7682 of Lecture Notes in Computer Science, pages 31-44, Springer, 2011. [doi]
Abstract is missing.