Improving Automatic Complexity Analysis of Integer Programs

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

Cham : Springer (2022)
Contribution to a book, Contribution to a conference proceedings

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.)
Page(s)/Article-Nr.: 193-228