Froleyks, N., Yu, E., Biere, A., & Heljanko, K. (2024). Certifying Phase Abstraction.
Chicago-Zitierstil (17. Ausg.)Froleyks, Nils, Emily Yu, Armin Biere, und Keijo Heljanko. Certifying Phase Abstraction. 2024.
MLA-Zitierstil (9. Ausg.)Froleyks, Nils, et al. Certifying Phase Abstraction. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.