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]
@inproceedings{AbdullaBM06a,
title = {06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis},
author = {Parosh Aziz Abdulla and Ahmed Bouajjani and Markus Müller-Olm},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/799},
tags = {program analysis, meta programming, model checking, program verification, meta-model, analysis, static analysis, Meta-Environment},
researchr = {https://researchr.org/publication/AbdullaBM06a},
cites = {0},
citedby = {0},
booktitle = {Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006},
editor = {Parosh Aziz Abdulla and Ahmed Bouajjani and Markus Müller-Olm},
volume = {06081},
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}