"Multi-Version Program Analysis, 26. June - 1. July 2005"

Thomas Ball et al. (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics