Eintrag weiter verarbeiten
Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design
Gespeichert in:
Personen und Körperschaften: | , , , |
---|---|
Weitere Verfasser: | Kuncak, Viktor [MitwirkendeR] |
Format: | E-Book Konferenzbericht |
Sprache: | Englisch |
veröffentlicht: |
Austin,Texas
FMCAD Inc
2014
|
Gesamtaufnahme: |
ACM Other conferences
ACM Digital Library |
Schlagwörter: | |
Quelle: | Verbunddaten SWB |
ISBN: |
9780983567844
0983567840 |