Special Issue: Automatic Resource Bound Analysis

Dordrecht [u.a.] / Springer Science + Business Media B.V. (2017) [Buch]

Journal of Automated Reasoning
Band: 59
Ausgabe: 1
Seite(n): 163 Seiten

Autorinnen und Autoren

Autorinnen und Autoren

Giesl, Jürgen
Hoffmann, Jan

Identifikationsnummern

  • REPORT NUMBER: RWTH-2017-04356