Certified Cost Bounds for Abstract Programs. - Albert, Elvira; Hähnle, Reiner; Merayo, Alicia; Steinhöfel, Dominic (ACM Transactions on Software Engineering & Methodology, 2025)