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 | 10729 LNCS |
Publication status | Published - 2018 |
Event | 15th International Conference on Software Engineering and Formal Methods, SEFM 2017 - Trento, Italy Duration: Sept 4 2017 → Sept 5 2017 |
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science