APA-Zitierstil (7. Ausg.)

Deutschmann, L., Mueller, J., Fadiheh, M. R., Stoffel, D., & Kunz, W. (2023). A Scalable Formal Verification Methodology for Data-Oblivious Hardware.

Chicago-Zitierstil (17. Ausg.)

Deutschmann, Lucas, Johannes Mueller, Mohammad Rahmani Fadiheh, Dominik Stoffel, und Wolfgang Kunz. A Scalable Formal Verification Methodology for Data-Oblivious Hardware. 2023.

MLA-Zitierstil (9. Ausg.)

Deutschmann, Lucas, et al. A Scalable Formal Verification Methodology for Data-Oblivious Hardware. 2023.