Special Issue on Syntax-Guided Synthesis Preface

Dana Fisman; Rishabh Singh; Armando Solar-Lezama

doi:10.1007/s10703-021-00386-0

Special Issue on Syntax-Guided Synthesis Preface

Dana Fisman, Rishabh Singh, Armando Solar-Lezama

Department of Computer Science

Ben-Gurion University of the Negev

Research output: Contribution to journal › Editorial

Original language	American 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

All Science Journal Classification (ASJC) codes

Software
Theoretical Computer Science
Hardware and Architecture

Access to Document

10.1007/s10703-021-00386-0

Cite this

@article{b47b1836d9f949ab8b9efad127c35a75,

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 = "American 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 - http://www.scopus.com/inward/record.url?scp=85125366101&partnerID=8YFLogxK

U2 - 10.1007/s10703-021-00386-0

DO - 10.1007/s10703-021-00386-0

M3 - Editorial

SN - 0925-9856

VL - 58

SP - 469

EP - 470

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 3

ER -

Special Issue on Syntax-Guided Synthesis Preface

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this