Fritz Henglein, Sharon Shoham, Yakir Vizel, Klaus von Gleissenthall, Troels Henriksen

Research output: Contribution to journalEditorial

Original languageEnglish
Pages (from-to)v-vii
JournalLecture Notes in Computer Science
Volume12597 LNCS
StatePublished - 2021
Event22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021 - Copenhagen, Denmark
Duration: 17 Jan 202119 Jan 2021

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this