| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Programming Languages and Systems: Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings | 978-3-540-29735-2 (3-540-29735-9) | 2008 |
| Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings | 978-3-540-37756-6 (3-540-37756-5) | 2006 |