Bernd Finkbeiner, Thomas Wies, Mark Santolucito

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish (US)
Pages (from-to)v-vi
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13182 LNCS
StatePublished - 2022
Event23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022 - Philadelphia, United States
Duration: Jan 16 2022Jan 18 2022

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Cite this