Şakar, Ömer, Safari, M., Huisman, M. und Wijs, A. (2025) „Preserving provability over GPU program optimizations with annotation-aware transformations.“, Formal Methods in System Design, 67(3), S. 316-372. doi:10.1007/s10703-025-00480-7.
Chicago Manual of Style 17th edition (full note)Şakar, Ömer, Mohsen Safari, Marieke Huisman, und Anton Wijs. „Preserving Provability over GPU Program Optimizations With Annotation-Aware Transformations.“. Formal Methods in System Design 67, Nr. 3 (1. Dezember 2025): 316-72. https://doi.org/10.1007/s10703-025-00480-7.
American Psychological Association 7th editionŞakar, Ömer, 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-372. https://doi.org/10.1007/s10703-025-00480-7
Modern Language Association 9th editionŞakar, Ömer, M. Safari, M. Huisman, und A. Wijs. „Preserving Provability over GPU Program Optimizations With Annotation-Aware Transformations.“. Formal Methods in System Design, Bd. 67, Nr. 3, Dezember 2025, S. 316-72, https://doi.org/10.1007/s10703-025-00480-7.
ISO-690 (author-date, Deutsch)ŞAKAR, Ömer, Mohsen SAFARI, Marieke HUISMAN und Anton WIJS, 2025. Preserving provability over GPU program optimizations with annotation-aware transformations. Formal Methods in System Design. 1 Dezember 2025. Bd. 67, Nr. 3, S. 316-372. DOI 10.1007/s10703-025-00480-7