Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures - Meyer, Bertrand (Herausgeber); Nordio, Martin (Herausgeber) (Programming and Software Engineering, 2012)