"Static Analysis of Large Programs: Some Experiences (Abstract of Invited ..."

Manuvir Das (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics