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

Ozdemir, A., Wahby, R. S., Brown, F., & Barrett, C. (2025). Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs. Formal Methods in System Design, 67(2), 161. https://doi.org/10.1007/s10703-025-00476-3

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

Ozdemir, Alex, Riad S. Wahby, Fraser Brown, και Clark Barrett. "Bounded Verification for Finite-field-blasting in a Compiler for Zero Knowledge Proofs." Formal Methods in System Design 67, no. 2 (2025): 161. https://doi.org/10.1007/s10703-025-00476-3.

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

Ozdemir, Alex, et al. "Bounded Verification for Finite-field-blasting in a Compiler for Zero Knowledge Proofs." Formal Methods in System Design, vol. 67, no. 2, 2025, p. 161, https://doi.org/10.1007/s10703-025-00476-3.