Empirical Software Engineering and Verification - International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Bertrand Meyer, Martin Nordio, editors, Empirical Software Engineering and Verification - International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures. Volume 7007 of Lecture Notes in Computer Science, Springer, 2012. [doi]

Conference: laser2012

Abstract

Abstract is missing.

Table of Contents