Trích dẫn APA

Daniela, K. (2023). Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra. Springer.

Trích dẫn theo kiểu Chicago

Daniela, Kaufmann. Improving AMULET2 for Verifying Multiplier Circuits Using SAT Solving and Computer Algebra. Springer, 2023.

Trích dẫn MLA

Daniela, Kaufmann. Improving AMULET2 for Verifying Multiplier Circuits Using SAT Solving and Computer Algebra. Springer, 2023.

Cảnh báo! Những trích dẫn này có thể không chính xác 100%.