| Original language | English |
|---|---|
| Pages (from-to) | v-vi |
| Journal | Lecture Notes in Computer Science |
| Volume | 13372 LNCS |
| State | Published - 2022 |
| Event | 34th International Conference on Computer Aided Verification, CAV 2022 - Haifa, Israel Duration: 7 Aug 2022 → 10 Aug 2022 |