APA (7th ed.) Citation

Albert, E., Hähnle, R., Merayo, A., & Steinhöfel, D. (2025). Certified Cost Bounds for Abstract Programs. ACM Transactions on Software Engineering & Methodology, 34(3), 1. https://doi.org/10.1145/3705298

Chicago Style (17th ed.) Citation

Albert, Elvira, Reiner Hähnle, Alicia Merayo, and Dominic Steinhöfel. "Certified Cost Bounds for Abstract Programs." ACM Transactions on Software Engineering & Methodology 34, no. 3 (2025): 1. https://doi.org/10.1145/3705298.

MLA (9th ed.) Citation

Albert, Elvira, et al. "Certified Cost Bounds for Abstract Programs." ACM Transactions on Software Engineering & Methodology, vol. 34, no. 3, 2025, p. 1, https://doi.org/10.1145/3705298.