Original language | American English |
---|---|
Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
Volume | 260 |
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