| 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