Preface of the special issue on the conference on formal methods in computer aided design 2018

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formal methods in system design 2021-08, Vol.57 (2), p.119-120
Hauptverfasser:	Bjørner, Nikolaj, Gurfinkel, Arie
Format:	Artikel
Sprache:	eng
Schlagworte:	CAD CAE) and Design Circuits and Systems Computer aided design Computer Science Computer Science, Theory & Methods Computer-Aided Engineering (CAD Electrical Engineering Engineering Formal method Science & Technology Software Engineering/Programming and Operating Systems Technology
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!