"05261 Abstracts Collection - Multi-Version Program Analysis."

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