Gaya APA

YU, C. (). Formal Analysis of Arithmetic Circuits Using Computer Algebra : Verification, Abstraction, And Reverse Engineering. (Prof. Maciej Ciesiel). : .

Gaya MLA

YU, Cunxi. "Formal Analysis of Arithmetic Circuits Using Computer Algebra : Verification, Abstraction, And Reverse Engineering.". Prof. Maciej Ciesiel : , . Teknik Elektro S-1.