Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm. 06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis. In Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm, editors, Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006. Volume 06081 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [doi]
Abstract is missing.