Jürgen Brauburger

• Automatic termination analysis for functional and imperative programs