FMCAD 2017 : proceedings of the 17th Conference on Formal Methods in Computer-Aided Design : October 2-6, 2017, TU Wien, Vienna, Austria /

Gespeichert in:
Hauptverfasser:
Stewart, Daryl, Weissenbacher, Georg
Weitere Verfasser:
Stewart, Daryl (HerausgeberIn), Weissenbacher, Georg (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
New York : IEEE, 2017.
Umfang:
1 online resource (229 pages)
ISBN:
0-9835678-7-5
Schlagworte:
Digital integrated circuits > Computer-aided design > Congresses.
Integrated circuits > Verification > Congresses.
Formal methods (Computer science) > Congresses.
Bezugswerke:
Links: