Carlo Ghezzi, Amir Molzam Sharifloo, Claudio Menghi. Towards Agile Verification. In Jürgen Münch, Klaus Schmid, editors, Perspectives on the Future of Software Engineering, Essays in Honor of Dieter Rombach. pages 31-47, Springer, 2013. [doi]
Abstract is missing.