Formal Verification of Structurally Complex Multipliers

MLA

Mahzoon, Alireza, Rolf Drechsler, and Daniel Große. Formal Verification of Structurally Complex Multipliers. Cham: Springer International Publishing AG, 2023.

APA

Mahzoon, A., Drechsler, R., & Große, D. (2023). Formal Verification of Structurally Complex Multipliers. Cham: Springer International Publishing AG.

Chicago

Mahzoon, Alireza., Rolf Drechsler, and Daniel Große. Formal Verification of Structurally Complex Multipliers. Cham: Springer International Publishing AG, 2023.