Citazione Stile APA (7a Edizione)

Ravi, G., Qiu, X., Thottethodi, M., & Vijaykumar, T. N. (2024). QED: Scalable Verification of Hardware Memory Consistency.

Citazione stile Chigago Style (17a edizione)

Ravi, Gokulan, Xiaokang Qiu, Mithuna Thottethodi, e T. N. Vijaykumar. QED: Scalable Verification of Hardware Memory Consistency. 2024.

Citatione MLA (9a ed.)

Ravi, Gokulan, et al. QED: Scalable Verification of Hardware Memory Consistency. 2024.