| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I | 978-3-030-25539-8 (3-030-25539-5) | 2019 | Serdar Tasiran |
| Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II | 978-3-030-25542-8 (3-030-25542-5) | 2019 | " |
| Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... Notes in Computer Science, Band 10747) | 978-3-319-73720-1 (3-319-73720-1) | 2018 | Jens Palsberg |