Dagstuhl Seminar Proceedings, Volume 5261,

• Thomas Ball, Stephan Diehl, David Notkin, and Andreas Zeller 05261 Abstracts Collection – Multi-Version Program Analysis 10.4230/DagSemProc.05261.1
• Thomas Ball, Stephan Diehl, David Notkin, and Andreas Zeller 05261 Summary – Multi-Version Program Analysis 10.4230/DagSemProc.05261.2