Παραπομπή σε μορφή APA (7η εκδ.)

Li, X. (2025). Scaling Deductive Verification for Real-world Cloud Data Security. https://doi.org/10.7916/r35y-wf43

Παραπομπή σε μορφή Chicago (17η εκδ.)

Li, Xupeng. Scaling Deductive Verification for Real-world Cloud Data Security. 2025. https://doi.org/10.7916/r35y-wf43.

Παραπομπή σε μορφή MLA (9th εκδ.)

Li, Xupeng. Scaling Deductive Verification for Real-world Cloud Data Security. 2025. https://doi.org/10.7916/r35y-wf43.