| 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 | 15054 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 |
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- General Computer Science