Tools for practical software verification LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures / - Meyer, Bertrand,; Nordio, Martin. (Springer,)