Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Bertrand Meyer, Martin Nordio ((Lecture Notes in Computer Science))