Special Issue on Syntax-Guided Synthesis Preface

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formal methods in system design 2021-11, Vol.58 (3), p.469-470
Hauptverfasser:	Fisman, Dana, Singh, Rishabh, Solar-Lezama, Armando
Format:	Artikel
Sprache:	eng
Schlagworte:	CAE) and Design Circuits and Systems Computer-Aided Engineering (CAD Electrical Engineering Engineering Software Engineering/Programming and Operating Systems
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!