Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design

Gespeichert in:

Personen und Körperschaften: Claessen, Koen (VerfasserIn), Kuncak, Viktor (MitwirkendeR), ACM Special Interest Group on Programming Languages (MitwirkendeR), ACM Special Interest Group on Software Engineering (MitwirkendeR)
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