APA (7th ed.) Citation

Froleyks, N., Yu, E., Biere, A., & Heljanko, K. (2024). Certifying Phase Abstraction.

Chicago Style (17th ed.) Citation

Froleyks, Nils, Emily Yu, Armin Biere, and Keijo Heljanko. Certifying Phase Abstraction. 2024.

MLA (9th ed.) Citation

Froleyks, Nils, et al. Certifying Phase Abstraction. 2024.