× Automatic Termination Analysis for Functional and Imperative Programsvon Jürgen Brauburger, Vorwort von Christoph Walther Verfügbarkeit jetzt prüfen