| Original language | English |
|---|---|
| Pages (from-to) | v-vi |
| Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume | 14499 LNCS |
| State | Published - 2024 |
| Event | 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024 was co-located with 51st ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2024 - London, United Kingdom Duration: 15 Jan 2024 → 16 Jan 2024 |
Preface
Rayna Dimitrova, Ori Lahav, Sebastian Wolff
Research output: Contribution to journal › Editorial