Skip to main navigation Skip to search Skip to main content

Preface

    Research output: Contribution to journalEditorial

    Original languageEnglish
    JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
    Volume260
    StatePublished - 28 Nov 2017
    Event6th Workshop on Synthesis, SYNT 2017 - Heidelberg, Germany
    Duration: 22 Jul 2017 → …

    ASJC Scopus subject areas

    • Software

    Cite this