Original language | English |
---|---|
Pages (from-to) | v-vi |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 13702 LNCS |
Publication status | Published - 2022 |
Event | 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Greece Duration: 22 Oct 2022 → 30 Oct 2022 |
Introduction
Bernhard Steffen, Tiziana Margaria
Research output: Contribution to journal › Editorial