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

Şakar, Ö., Safari, M., Huisman, M., & Wijs, A. (2025). Preserving provability over GPU program optimizations with annotation-aware transformations. Formal Methods in System Design, 67(3), 316. https://doi.org/10.1007/s10703-025-00480-7

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

Şakar, Ömer, Mohsen Safari, Marieke Huisman, και Anton Wijs. "Preserving Provability over GPU Program Optimizations with Annotation-aware Transformations." Formal Methods in System Design 67, no. 3 (2025): 316. https://doi.org/10.1007/s10703-025-00480-7.

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

Şakar, Ömer, et al. "Preserving Provability over GPU Program Optimizations with Annotation-aware Transformations." Formal Methods in System Design, vol. 67, no. 3, 2025, p. 316, https://doi.org/10.1007/s10703-025-00480-7.