Treffer: Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design
Verantwortlich:
Körperschaft:
Veröffentlicht:
Austin, TX : FMCAD Inc, 2016
Vertrieb:
New York, NY : ACM
Umfang:
1 Online-Ressource (214 pages)
Publikationstyp:
Sprache:
Englisch
Anmerkungen:
Title from The ACM Digital Library
ISBN:
9780983567868