Preface: Special Issue on Automatic Resource Bound Analysis

Jürgen Giesl, Jan Hoffmann. Preface: Special Issue on Automatic Resource Bound Analysis. Journal of Automated Reasoning, 59(1):1-2, 2017. [doi]

Authors

Jürgen Giesl

This author has not been identified. It may be one of the following persons: Look up 'Jürgen Giesl' in Google

Jan Hoffmann

This author has not been identified. Look up 'Jan Hoffmann' in Google