Multi-Version Program Analysis Thomas Ball Stephan Diehl David Notkin Andreas Zeller 05261 2006 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P5261.html