Advances in software engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /

gan Börger, E., Cisternino, Antonio., Lipari Summer School on Advances in Software Engineering
Cyhoeddwyd c2008