LASER Summer School

Keyphrases

Publications

volume 8987, 2015

Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures LASER Summer School 8987 (2015)

2014

volume 7682, 2012

Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures LASER Summer School 7682 (2012)

volume 7007, 2012

Empirical Software Engineering and Verification - International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures LASER Summer School 7007 (2012)

2011

2010

volume 6029, 2010

Advanced Lectures on Software Engineering, LASER Summer School 2007/2008 LASER Summer School 6029 (2010)

2008