| 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 | 11822 LNCS |
| Publication status | Published - 2019 Jan 1 |
| Event | 26th International Static Analysis Symposium, SAS 2019 held as part of the 3rd World Congress on Formal Methods, FM 2019 - Porto, Portugal Duration: 2019 Oct 8 → 2019 Oct 11 |
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)