Original language | English (US) |
---|---|
Pages (from-to) | V |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 10712 LNCS |
State | Published - 2017 |
Event | 9th International Working Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017 - Heidelberg, Germany Duration: Jul 22 2017 → Jul 23 2017 |
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science