| 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 | 12597 LNCS |
| State | Published - 2021 |
| Event | 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021 - Copenhagen, Denmark Duration: 17 Jan 2021 → 19 Jan 2021 |
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- General Computer Science