Empirical Software Engineering and Verification:

Empirical Software Engineering and Verification: Inteational Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures (Lecture .. / Programming and Software Engineering)

Hardcover: 220 pages

Publisher: Springer (January 9, 2012)

Language: English

ISBN-10: 3642252303