Dagstuhl Seminar Proceedings: Software Verification: Infinite-State Model Checking and Static Program Analysis 2006

a service of Schloss Dagstuhl - Leibniz Center for Informatics