Preface

Dana Fisman, Swen Jacobs

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