| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings | 978-3-319-71236-9 (3-319-71236-5) | 2017 |
| Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings | 978-3-030-32303-5 (3-030-32303-X) | 2019 |