Original language | English |
---|---|
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 264 |
Issue number | 3 |
Pages (from-to) | 53-68 |
ISSN | 1571-0661 |
DOIs | |
Publication status | Published - 28 Dec 2010 |
Event | Doctoral Symposium on Systems Software Verification (DS SSV09) Real Software, Real Problems, Real Solutions (SSV) - Aachem, Germany Duration: 22 Jun 2009 → 24 Jun 2009 Conference number: 4 |
Conference
Conference | Doctoral Symposium on Systems Software Verification (DS SSV09) Real Software, Real Problems, Real Solutions (SSV) |
---|---|
Number | 4 |
Country/Territory | Germany |
City | Aachem |
Period | 22/06/2009 → 24/06/2009 |
Keywords
- Testing
- Data Intensive Systems
- Abstract Interpretation
- Model Checking