APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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