Normal view
MARC view
Hardware Performance and Reliability (Topical Term)
Machine generated authority record.
Work cat.: (NLI)1583371: Russinoff, David M. author. 1472704, Formal Verification of Floating-Point Hardware Design
