Special Issue: Automatic Resource Bound Analysis

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

Journal of Automated Reasoning
Volume: 59
Issue: 1
Page(s): 163 Seiten

Authors

Authors

Giesl, Jürgen
Hoffmann, Jan

Identifier

  • REPORT NUMBER: RWTH-2017-04356