Citazione Stile APA (7a Edizione)

Tan, Q., Yang, Y., Bourgeat, T., Malik, S., & Yan, M. (2024). RTL Verification for Secure Speculation Using Contract Shadow Logic.

Citazione stile Chigago Style (17a edizione)

Tan, Qinhan, Yuheng Yang, Thomas Bourgeat, Sharad Malik, e Mengjia Yan. RTL Verification for Secure Speculation Using Contract Shadow Logic. 2024.

Citatione MLA (9a ed.)

Tan, Qinhan, et al. RTL Verification for Secure Speculation Using Contract Shadow Logic. 2024.