Formal Verification of Floating-point Hardware Design : A Mathematical Approach
ISBN: 9783319955131
Information Available:
Summary
Author Notes
Cover Image
Copyright held by Baker & Taylor.