Special Issue on Syntax-Guided Synthesis Preface

Research output: Contribution to journal › Editorial

1 Scopus citations

Original language	English
Pages (from-to)	469-470
Number of pages	2
Journal	Formal Methods in System Design
Volume	58
Issue number	3
DOIs	https://doi.org/10.1007/s10703-021-00386-0
State	Published - 1 Nov 2021

ASJC Scopus subject areas

@article{ee30fcdb7e294889bc7da1c1c72b6ba9,

title = "Special Issue on Syntax-Guided Synthesis Preface",

author = "Dana Fisman and Rishabh Singh and Armando Solar-Lezama",

year = "2021",

month = nov,

day = "1",

doi = "10.1007/s10703-021-00386-0",

language = "English",

volume = "58",

pages = "469--470",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

number = "3",

}

TY - JOUR

T1 - Special Issue on Syntax-Guided Synthesis Preface

AU - Fisman, Dana

AU - Singh, Rishabh

AU - Solar-Lezama, Armando

PY - 2021/11/1

Y1 - 2021/11/1

UR - https://www.scopus.com/pages/publications/85125366101

U2 - 10.1007/s10703-021-00386-0

DO - 10.1007/s10703-021-00386-0

M3 - Editorial

AN - SCOPUS:85125366101

SN - 0925-9856

VL - 58

SP - 469

EP - 470

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 3

ER -