Original language | 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 → … |
ASJC Scopus subject areas
- Software