Original language | English |
---|---|
Title of host publication | 6th International Workshop on Systems Software Verification (SSV 2011) |
Number of pages | 12 |
Volume | 24 |
Publisher | Schloss Dagstuhl. Leibniz-Zentrum für Informatik |
Publication date | Jul 2012 |
ISBN (Electronic) | 978-3-939897-36-1 |
DOIs | |
Publication status | Published - Jul 2012 |
Event | 6th International Workshop on Systems Software Verification (SSV 2011) - Hotel Erica in Berg en Dal, Nijmegen, Netherlands Duration: 26 Aug 2011 → … Conference number: 6 |
Conference
Conference | 6th International Workshop on Systems Software Verification (SSV 2011) |
---|---|
Number | 6 |
Location | Hotel Erica in Berg en Dal |
Country/Territory | Netherlands |
City | Nijmegen |
Period | 26/08/2011 → … |