ausblenden:
Titel:
Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014
Kurztitel
:
FMCAD 2014
Genre der Quelle:
Konferenzband
Urheber:
Affiliations:
Ort, Verlag, Ausgabe:
Piscataway, NJ : IEEE
Seiten:
-
Band / Heft:
-
Artikelnummer:
-
Start- / Endseite:
163 - 170
Identifikator:
-