ausblenden:
Titel:
Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design
Kurztitel
:
FMCAD 2017
Genre der Quelle:
Konferenzband
Urheber:
Stewart, Daryl1, Herausgeber
Weissenbacher, Georg1, Herausgeber
Affiliations:
1
External Organizations, ou_persistent22
Ort, Verlag, Ausgabe:
Piscataway, NJ : IEEE
Seiten:
-
Band / Heft:
-
Artikelnummer:
-
Start- / Endseite:
15 - 22
Identifikator:
ISBN: 978-0-9835678-7-5