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