| Original language | English |
|---|---|
| Pages (from-to) | v-vii |
| Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume | 15055 LNCS |
| State | Published - 2025 |
| Event | 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024 - Kyoto, Japan Duration: 21 Oct 2024 → 25 Oct 2024 |
Preface
- S. Akshay
- , Aina Niemetz
- , Sriram Sankaranarayanan
- , Martin Jonáš
- , Mathias Preiner
- , Yoni Zohar
Research output: Contribution to journal › Editorial