Loading…

Special Issue on Syntax-Guided Synthesis Preface

Saved in:

Bibliographic Details
Published in:	Formal methods in system design 2021-11, Vol.58 (3), p.469-470
Main Authors:	Fisman, Dana, Singh, Rishabh, Solar-Lezama, Armando
Format:	Article
Language:	English
Subjects:	CAE) and Design Circuits and Systems Computer-Aided Engineering (CAD Electrical Engineering Engineering Software Engineering/Programming and Operating Systems
Citations:	Items that this one cites
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!