Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures - Meyer, Bertrand; Nordio, Martin (Springer Berlin Heidelberg : Imprint: Springer, 2012)