Original language | English |
---|---|
Pages (from-to) | 3 |
Number of pages | 1 |
Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
Volume | 260 |
DOIs | |
State | Published - 28 Nov 2017 |
Event | 6th Workshop on Synthesis, SYNT 2017 - Heidelberg, Germany Duration: 22 Jul 2017 → … |
All Science Journal Classification (ASJC) codes
- Software