Manjrekar, M. (2025). On Automating Proofs of Multiplier Adder Trees using the RTL Books.
Citazione stile Chigago Style (17a edizione)Manjrekar, Mayank. On Automating Proofs of Multiplier Adder Trees Using the RTL Books. 2025.
Citatione MLA (9a ed.)Manjrekar, Mayank. On Automating Proofs of Multiplier Adder Trees Using the RTL Books. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.