Result: Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design
Responsible:
Corporation:
Published:
Austin, TX : FMCAD Inc, 2014
Distribution:
New York, NY : ACM
Extent:
1 Online-Ressource (219 pages)
Format:
Language:
English
Notes:
Title from The ACM Digital Library
ISBN:
9780983567844