Preface: Special Issue on Automatic Resource Bound Analysis

Dordrecht [u.a.] / Springer Science + Business Media B.V. (2016, 2017) [Buchbeitrag, Fachzeitschriftenartikel]

Journal of automated reasoning
Band: 59
Ausgabe: 1
Seite(n): 1-2

Autorinnen und Autoren

Autorinnen und Autoren

Giesl, Jürgen
Hoffmann, Jan

Identifikationsnummern