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