APA (7th ed.) Citation

Ş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 Style (17th ed.) Citation

Şakar, Ömer, Mohsen Safari, Marieke Huisman, and 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 ed.) Citation

Ş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.