Towards Agile Verification

Publication
Perspectives on the Future of Software Engineering: Essays in Honor of Dieter Rombach