Current Trends in Hardware Verification and Automated Theorem Proving
Publisher: Springer
Published: Oct 10, 2014
Format: paperback
Number of pages: 504
ISBN-13: 9781461236597