Improving Automatic Complexity Analysis of Integer Programs

Giesl, Jürgen (Corresponding author); Lommen, Nils; Hark, Marcel Tobias; Meyer, Fabian Niklas

Cham : Springer (2022)
Buchbeitrag, Beitrag zu einem Tagungsband

In: The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.)
Seite(n)/Artikel-Nr.: 193-228