APA-Zitierstil (7. Ausg.)

Emrich, F., Hensel, J., & Giesl, J. (2023). AProVE: Modular Termination Analysis of Memory-Manipulating C Programs.

Chicago-Zitierstil (17. Ausg.)

Emrich, Frank, Jera Hensel, und Jürgen Giesl. AProVE: Modular Termination Analysis of Memory-Manipulating C Programs. 2023.

MLA-Zitierstil (9. Ausg.)

Emrich, Frank, et al. AProVE: Modular Termination Analysis of Memory-Manipulating C Programs. 2023.