| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, ... Notes in Computer Science, Band 8855) | 978-3-319-13337-9 (3-319-13337-3) | 2014 |
| Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings | 978-3-642-23701-0 (3-642-23701-0) | 2011 |