Thomas Ball Stephan Diehl David Notkin Andreas Zeller 05261 Summary - Multi-Version Program Analysis. 2005 conf/dagstuhl/2005P5261 Multi-Version Program Analysis http://drops.dagstuhl.de/opus/volltexte/2006/559 db/conf/dagstuhl/P5261.html#BallDNZ05