Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface

Pavol Černý, Viktor Kuncak, Madhusudan Parthasarathy

Research output: Contribution to journalEditorial

Original languageEnglish (US)
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume202
DOIs
StatePublished - Feb 2 2016
Event4th Workshop on Synthesis, SYNT 2015 - San Francisco, United States
Duration: Jul 18 2015 → …

ASJC Scopus subject areas

  • Software

Cite this