Formal Verification of Floating-Point Hardware Design

MLA

Russinoff, and J. Strother Moore. Formal Verification of Floating-point Hardware Design. Springer International Publishing, 2019.

APA

Russinoff, R., & Moore, J. Strother. (2019). Formal Verification of Floating-Point Hardware Design. Springer International Publishing.

Chicago

Russinoff, and J. Strother Moore. Formal Verification of Floating-Point Hardware Design. : Springer International Publishing, 2019.