Jurgen Brauburger

• Automatic Termination Analysis for Functional and Imperative Programs