Advances in software engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, revised tutorial lectures - Börger, E. (Egon) 1946-; Cisternino, Antonio (Lecture notes in computer science, 2008)