| 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