A Comparative Analysis of Approaches for Analyzing Source Code with Regard to their Algorithmic Correctness. - Katharina Bade; Korinna Bade (ABP, 2025)