Original language | English (US) |
---|---|
Pages (from-to) | v-vi |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 13182 LNCS |
State | Published - 2022 |
Event | 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022 - Philadelphia, United States Duration: Jan 16 2022 → Jan 18 2022 |
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science