Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller: Multi-Version Program Analysis, 26. June - 1. July 2005. Dagstuhl Seminar Proceedings 05261, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006