| Original language | English |
|---|---|
| Pages (from-to) | VII |
| Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume | 10203 LNCS |
| State | Published - 2017 |
| Event | 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017 - Uppsala, Sweden Duration: 22 Apr 2017 → 29 Apr 2017 |