| 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
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver