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
Einrichtungen
- Graduiertenkolleg UnRAVeL [080060]
- Fachgruppe Informatik [120000]
- Lehr- und Forschungsgebiet Informatik 2 (Programmiersprachen und Verifikation) [121420]
Identifikationsnummern
- DOI: 10.1007/978-3-031-08166-8_10
- RWTH PUBLICATIONS: RWTH-2022-08508