Normal view
MARC view
Russinoff, David M (Personal Name)
Machine generated authority record.
Work cat.: (NLI)1583371: Russinoff, David M. author., Formal Verification of Floating-Point Hardware Design
