T. Ball, S. Diehl, D. Notkin, and A. Zeller. Multi-Version Program Analysis, volume 05261 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)
T. Ball, S. Diehl, D. Notkin, and A. Zeller. Multi-Version Program Analysis, volume 05261 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)